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