Update to be compatible with Idris 1.3.1#3
Open
lambdacasserole wants to merge 15 commits intofieldstrength:masterfrom
Open
Update to be compatible with Idris 1.3.1#3lambdacasserole wants to merge 15 commits intofieldstrength:masterfrom
lambdacasserole wants to merge 15 commits intofieldstrength:masterfrom
Commits
Commits on Jul 2, 2019
- authored
- authored
- committed
- committed
- authored
- committed
- committed
- authored
- committed
- authored
- committed
- authored
- committed
- committed
- authored
