git.iko.soy/Idris-dev
on dee61df help sign in
Idris-dev/test/test008
4 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 run_javaBackend support for Java test008.idruppercase modulenames