git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/test/test008
3 files
../ expectedAdded case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known a… runInfrastructure for passing of parameters to idris during tests test008.idrWhitespace cleanup.