Leni Aniva 34d9b02797 Merge branch 'dev' into goal/diag		2024-01-17 14:03:19 -08:00
..
Environment.lean	feat: Print constructor and recursor info	2024-01-16 14:11:52 -08:00
Goal.lean	chore: Move environment functions to its own file	2023-12-15 13:40:36 -05:00
Protocol.lean	Merge branch 'dev' into goal/diag	2024-01-17 14:03:19 -08:00
Serial.lean	test: Option controlled mvar instantiation	2024-01-16 16:44:54 -08:00
Version.lean	chore: Version downgrade to 0.2.10-alpha	2023-12-07 12:38:02 -08:00