git.iko.soy/Idris-dev
on master help sign in
Correct module names
c3cb8a4Benjamin Saunders
lib/Prelude/Bits.idr+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−module Bits
1+module Prelude.Bits
2
2
3%default total
3%default total
4
4
lib/Prelude/Modular.idr+2−1
@@ -1,4 +1,5 @@
1−module Modular
1+module Prelude.Modular
2+
2import Prelude.Bits
3import Prelude.Bits
3
4
4%default total
5%default total