https://github.com/maciej-bendkowski/normal-order-reduction-grammars
Tip revision: 891dbb9051aa2fa0cafea4aa268bfa57d20f8a3a authored by Maciej Bendkowski on 02 July 2016, 10:53:20 UTC
Fix reference link display
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 |