lucas/modelverse

forké depuis yentl/modelverse

Auteur	SHA1 Message	Date
Yentl Van Tendeloo	dc67b0197f Revert "Fully replace the old typing with the new explicit model"	il y a 8 ans
Yentl Van Tendeloo	e4828596d2 Add bottom formalism (the nice way)	il y a 8 ans
Yentl Van Tendeloo	2b15a6871c First step towards compiling models in the bootstrap file as well	il y a 8 ans