git.iko.soy/Idris-dev
on ffc8dc6 help sign in
Idris-dev/lib/Data
5 files
../ Bits.idrMove bitstring stuff to Data to reduce potential for name clashes Mod2.idrMove bitstring stuff to Data to reduce potential for name clashes Morphisms.idrrenamed homomorphism to morphism Sign.idrAdd inductive integers Z.idrAdd inductive integers