Garmelon/propa-tools
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
29 commits 5 branches 0 tags 191 KiB
Commit graph

3 commits

Author SHA1 Message Date
Joscha
37c1307d54 Implement prolog-style unification 2020-12-11 16:50:39 +00:00
Joscha
ed7179a846 Restructure and begin displaying lambdas 2020-11-26 16:07:56 +01:00
Joscha
b17c5d9d3d Set up simple stack project 2020-11-25 14:52:27 +01:00