Correct module names
commitc3cb8a4cd9339bbbe3a2f2ea59ab9fd830d1bea4
authorBenjamin Saunders <besaunde@sfu.ca>
dateSun 6 Jan 2013, 13:01 (14 years ago)
parent2308c53
lib/Prelude/Bits.idr+1−1
@@ -1,4 +1,4 @@
1−module Bits
1+module Prelude.Bits
22
33%default total
44
lib/Prelude/Modular.idr+2−1
@@ -1,4 +1,5 @@
1−module Modular
1+module Prelude.Modular
2+
23import Prelude.Bits
34
45%default total