git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/test/test002
4 files
../ expectedRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues. expected_ttquotRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues. runFix error in conversion check Fixes issue #187 test002.idrRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues.