git.iko.soy/Idris-dev
on e62b7ea help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Added 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… Idris/Pattern matching lambda, plus tutorial update Main.hsAdd --help and --version options