git.iko.soy/Idris-dev
on cb90bf8 help sign in
Idris-dev/test/sugar004
3 files
../ expectedUpdate the test for let- and bind-alternatives runUpdate the test for let- and bind-alternatives sugar004.idrUpdate the test for let- and bind-alternatives