fixed name of module, renaming from my private module name to the correct name for addition in prelude
commit71705d56cdc79f4122093a57835762fe46c6125c
authorDominic Mulligan <dominic.p.mulligan@googlemail.com>
dateThu 26 Jan 2012, 12:32 (15 years ago)
parentbed7b3e
lib/prelude/nat.idr+1−1
@@ -1,4 +1,4 @@
1−module MoreNat
1+module prelude.nat
22
33import builtins
44