idris-lang/Idris-dev — pull request #984 by david-christiansen (2014-03-19 14:29:24+00:00)
Title: Addition and multiplication of Fin

Useful for indexing into Vects of Vects