git.iko.soy/Idris-dev
on 496cf41 help sign in
history oftest/test008/run
all commits
2c6ad9bInfrastructure for passing of parameters to idris during testsBenjamin Saunders 67c5734Added 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 at the point of elaborationEdwin Brady