6 Commits

Author	SHA1	Message	Date
depsterr	7bc4be31c0	did some work on renaming / meta solutions	2023-02-05 17:04:41 +01:00
depsterr	b0fe012f7b	forcing of meta variables	2023-02-04 16:58:16 +01:00
depsterr	db2c757355	compiles	2023-02-01 14:38:14 +01:00
depsterr	68a7cafd8e	started work on metas	2023-01-31 19:51:46 +01:00
depsterr	c6ebac27ba	conversion of stuck induction	2023-01-23 18:04:26 +01:00
depsterr	963015801e	added basic parser	2022-09-03 11:06:12 +02:00