git.iko.soy/Idris-dev
on fa6f5fa help sign in
Idris-dev/test/reg003
4 files
../ expectedRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues. reg003.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion reg003a.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion runAdd reg003 tests