git.iko.soy/Idris-dev
on f07ebbf help sign in
Idris-dev/test/basic020
3 files
../ basic020.idrExpose `@` patterns to where functions (#4057) expectedExpose `@` patterns to where functions (#4057) runExpose `@` patterns to where functions (#4057)