Commit Graph

2 Commits

Author SHA1 Message Date
Johannes Merl
17b64f263b LamdaCalculusV2 2024-05-07 14:58:00 +02:00
Johannes Merl
d5fe65ab8c WIP: rewrite... too much... 2024-04-30 07:42:10 +02:00