]> Git — Sourcephile - tmp/julm/arpeggigon.git/tree
Purified translation. Might be useless.
-rw-r--r-- 209 .gitignore
-rw-r--r-- 17766 BasicSemantics.hs
-rw-r--r-- 19691 BasicSemantics2.hs
-rw-r--r-- 392 PROBLEMLOG.md
drwxr-xr-x - RCMA
-rw-r--r-- 6167 README.md