rachel
/
pi
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
34 Commits
1 Branch
0 Tags
912 KiB
Commit Graph

4 Commits (master)

Author SHA1 Message Date
Rachel Lambda Samuelsson c7fb1d5cd3 definition system, repl 2022-07-26 23:07:13 +02:00
Rachel Lambda Samuelsson 24604a93ef identity types ! 
removed values that should not be
improved eliminator computation
improved conversion
 2022-07-26 06:09:57 +02:00
Rachel Lambda Samuelsson 8e85d97b7f parser is now useable for tests n stuff 2022-07-26 01:11:44 +02:00
Rachel Lambda Samuelsson bdb30a2d62 initial commit 2022-04-23 15:18:06 +02:00