Update module names
commit9a2c916f56377356f5d51705048cbd2adfbbfebf
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateTue 29 Nov 2011, 17:13 (15 years ago)
parent40c303b
lib/prelude/either.idr+1−1
@@ -1,4 +1,4 @@
1−module either;
1+module prelude.either;
22
33import builtins;
44
lib/prelude/list.idr+1−1
@@ -1,4 +1,4 @@
1−module list;
1+module prelude.list;
22
33import builtins;
44
lib/prelude/maybe.idr+1−1
@@ -1,4 +1,4 @@
1−module maybe;
1+module prelude.maybe;
22
33data Maybe a = Nothing | Just a;
44
lib/prelude/vect.idr+1−1
@@ -1,4 +1,4 @@
1−module vect;
1+module prelude.vect;
22
33import prelude.nat;
44