summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--inky.ipkg8
-rw-r--r--src/Inky.idr1
3 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..796b96d
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/build
diff --git a/inky.ipkg b/inky.ipkg
new file mode 100644
index 0000000..313b667
--- /dev/null
+++ b/inky.ipkg
@@ -0,0 +1,8 @@
+package inky
+authors = "Greg Brown"
+sourcedir = "src"
+
+options = "--total"
+
+modules
+ = Inky
diff --git a/src/Inky.idr b/src/Inky.idr
new file mode 100644
index 0000000..c501caf
--- /dev/null
+++ b/src/Inky.idr
@@ -0,0 +1 @@
+module Inky