Commit Graph

5 Commits

Author SHA1 Message Date
Denis Merigoux
cd9957b8c4 Add interface and doc to api.ml 2020-05-22 23:02:48 +02:00
Denis Merigoux
974797ac97 Fixed new project homepage 2020-04-28 15:08:12 +02:00
Denis Merigoux
bf4e5ae374 Update opam file 2020-04-26 20:00:43 +02:00
Denis Merigoux
d8c57ec28b More doc! 2020-04-17 15:12:11 +02:00
Denis Merigoux
a9a10f0e7f Rename to Catala! 2020-04-16 18:42:37 +02:00