Thu 12 Jan 17 − 21:18, Thomas Hunger(tehun...@gmail.com) a écrit: > Hi, > > For my own curiosity: Is your adviser's work online somewhere? >
Hi, All its publications are on his personal page at https://www.irif.fr/~gc/ The current work is yet unreleased, but there is a demo of some possible things at http://www.cduce.org/ocaml/bi -- Théophane Hufschmitt
signature.asc
Description: PGP signature
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev