https://github.com/shayan-najd/Embedding-By-Normalisation
History
Tip revision: 602551b5f0385ffe0f570a873a6b450ee7d01f93 authored by Shayan-Najd on 14 April 2016, 08:42:10 UTC
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

README.md

back to top