Ali Bertad
Ali Bertad

Ali Bertad

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