6 Commits

Author	SHA1	Message	Date
Denis Merigoux	79801292e9	Fix most doc errors	2023-06-02 17:17:45 +02:00
Louis Gesbert	912e1500c4	Handle toplevel defs down to scalc	2023-02-13 11:44:32 +01:00
Denis Merigoux	21c73edfc9	Link to modules in the docs	2022-02-14 18:27:29 +01:00
Denis Merigoux	d2977b48ce	Documentation pass	2022-01-19 10:54:16 +01:00
Emile Rolley	397b0e1d7c	fix(build/doc): remove warnings due to .ml* files	2022-01-02 14:53:51 +01:00
Denis Merigoux	1313183353	Defining a new intermediate representation	2021-06-22 16:01:57 +02:00