2 Commits

Author	SHA1	Message	Date
MARCHE Claude	7dd2b50449	Pmodule: t->t->t functions can be overloaded as X->X->t functions ... allows to add program equality on Booleans	2024-09-19 10:54:24 +02:00
Andrei Paskevich	85005b4f49	stdlib: rename *.why to *.mlw, use "module" instead of "theory"	2017-12-22 15:46:12 +01:00