git.iko.soy/Idris-dev
on 6ef51e3 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)