git.iko.soy/Idris-dev
on master help sign in
Update module names
9a2c916Edwin Brady
lib/prelude/either.idr+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−module either;
1+module prelude.either;
2
2
3import builtins;
3import builtins;
4
4
lib/prelude/list.idr+1−1
@@ -1,4 +1,4 @@
1−module list;
1+module prelude.list;
2
2
3import builtins;
3import builtins;
4
4
lib/prelude/maybe.idr+1−1
@@ -1,4 +1,4 @@
1−module maybe;
1+module prelude.maybe;
2
2
3data Maybe a = Nothing | Just a;
3data Maybe a = Nothing | Just a;
4
4
lib/prelude/vect.idr+1−1
@@ -1,4 +1,4 @@
1−module vect;
1+module prelude.vect;
2
2
3import prelude.nat;
3import prelude.nat;
4
4