https://github.com/shayan-najd/Embedding-By-Normalisation
Tip revision: 602551b5f0385ffe0f570a873a6b450ee7d01f93 authored by Shayan-Najd on 14 April 2016, 08:42:10 UTC
Merge branch 'master' of ../NormalEDSLs
Merge branch 'master' of ../NormalEDSLs
Tip revision: 602551b
File | Mode | Size |
---|---|---|
Agda | ||
Paper | ||
LICENSE | -rw-r--r-- | 34.3 KB |
Power.hs | -rw-r--r-- | 10.5 KB |
README.md | -rw-r--r-- | 92 bytes |
ReadMe | -rw-r--r-- | 409 bytes |