Initial commit.

http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html

1 files changed, 15 insertions, 0 deletions

diff --git a/Prims.idr b/Prims.idr
new file mode 100644
index 0000000..7726ca7
--- /dev/null
+++ b/Prims.idr
@@ -0,0 +1,15 @@
+module Prims
+
+x : Int
+x = 42
+
+foo : String
+foo = "Sausage machine"
+
+bar : Char
+bar = 'Z'
+
+quux : Bool
+quux = False
+  
+