https://github.com/maciej-bendkowski/normal-order-reduction-grammars
History
Tip revision: 891dbb9051aa2fa0cafea4aa268bfa57d20f8a3a authored by Maciej Bendkowski on 02 July 2016, 10:53:20 UTC
Fix reference link display
Tip revision: 891dbb9
File Mode Size
app
scripts
src
.gitignore -rw-r--r-- 12 bytes
LICENSE -rw-r--r-- 17.6 KB
README.md -rw-r--r-- 931 bytes
Setup.hs -rw-r--r-- 46 bytes
normal-order-reduction-grammars.cabal -rw-r--r-- 1.1 KB
stack.yaml -rw-r--r-- 2.1 KB

README.md

back to top