Ali Bertad

    Written by

    thésard en carton (et en informatique) type theory, agda, haskell and ocaml