git.iko.soy/Idris-dev
on 4d2f0fe 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… runAdded 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… test008.idrChange 'data' and where syntax so that they don't need '|' This breaks old code - instead of