Garmelon/propa-tools
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Experiments related to the Propa lecture
41 commits 5 branches 0 tags 191 KiB
Find a file
Exact
Joscha f0e291a84d Prevent infinite loop unifying variable with itself
2020-12-14 13:59:13 +00:00
app Implement prolog-style unification 2020-12-11 16:50:39 +00:00
src/Propa Prevent infinite loop unifying variable with itself 2020-12-14 13:59:13 +00:00
.gitignore Set up simple stack project 2020-11-25 14:52:27 +01:00
LICENSE Set up simple stack project 2020-11-25 14:52:27 +01:00
package.yaml Parse expressions 2020-12-13 21:56:47 +00:00
propa-tools.cabal Remove examples for testing 2020-12-13 23:23:37 +00:00
README.md Rename from props to propa-tools 2020-12-11 17:06:10 +00:00
Setup.hs Set up simple stack project 2020-11-25 14:52:27 +01:00
stack.yaml Set up simple stack project 2020-11-25 14:52:27 +01:00
stack.yaml.lock Set up simple stack project 2020-11-25 14:52:27 +01:00

README.md

propa-tools

Various programming paradigm related bits and bobs. May not contain any actual executables.