Fix for anonymous class definition and update to Idris 0.9.20#7
Open
aaronc wants to merge 11 commits intoidris-hackers:masterfrom
Open
Fix for anonymous class definition and update to Idris 0.9.20#7aaronc wants to merge 11 commits intoidris-hackers:masterfrom
aaronc wants to merge 11 commits intoidris-hackers:masterfrom
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