git.iko.soy/Idris-dev
on d66da21 help sign in
history oftest/test008/run
all commits
b36dfcdReset test runscripts to mode 0755Markus Pfeiffer 3558c7cChange from shebangs with absolute references to using /usr/bin/envMarkus Pfeiffer 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