Fix for anonymous class definition and update to Idris 0.9.20#7
Open
aaronc wants to merge 11 commits intoidris-hackers:masterfrom aaronc:master
+327-144
Commits
Commits on Dec 1, 2015
- committed
Commits on Dec 12, 2015
Commits on Feb 4, 2016
- committed
- committed
- committed
- committed
- committed
Commits on Feb 11, 2016
- committed
- committed
Commits on Feb 17, 2016
- committed