3 Commits

Author	SHA1	Message	Date
Leni Aniva	dc2cc5be77	test: Separate mvar coupling tests	2023-11-04 15:01:41 -07:00
Leni Aniva	d87217c6bb	feat: Print metavariable name in goal	2023-10-30 14:44:06 -07:00
Leni Aniva	0ecfa9fc26	feat: Display user name in Goal structure ... 1. Modify `serialize_expression_ast` so its no longer a monad 2. Test existence of root expression	2023-10-25 22:18:59 -07:00