git.iko.soy/Idris-dev
on bd8ea0a help sign in
Idris-dev/test/unique004
10 files
../ expectedHide more features behind %language pragmas 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