git.iko.soy/Idris-dev
on c899bcf help sign in
Idris-dev/test/unique004
10 files
../ expectedDon't include '=' for RHS span runSet "--port none" in tests unique001a.idrHide more features behind %language pragmas unique001b.idrHide more features behind %language pragmas unique001c.idrHide more features behind %language pragmas unique001d.idrHide more features behind %language pragmas unique001e.idrHide more features behind %language pragmas unique002.idrHide more features behind %language pragmas unique002a.idrHide more features behind %language pragmas unique003.idrHide more features behind %language pragmas