6 Commits

Author	SHA1	Message	Date
hellerve	d75b000ad1	A better IDE	2022-06-14 15:54:07 +02:00
hellerve	22d00d0360	Add coder	2022-06-14 00:05:36 +02:00
hellerve	7fbab0e2a0	Finally, an IDE	2022-06-13 22:13:31 +02:00
hellerve	81a483d540	Evaluation works!	2022-06-13 15:10:12 +02:00
hellerve	199758d97d	Multiple changes: ... - Add the book and a few first pages - Add the code generator	2022-04-17 19:48:45 +02:00
hellerve	f1cac9749e	Add Lepiter snippets for Carp	2022-04-16 18:32:16 +02:00