From 7f40878575fb5fa852fa73d35bb15b0cd32309ef Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Thu, 29 Jun 2023 13:47:40 -0400
Subject: [PATCH] Initial commit

---
 .gitignore       |  5 +++++
 Naturals.ipkg    | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 src/Naturals.idr |  4 ++++
 3 files changed, 56 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 Naturals.ipkg
 create mode 100644 src/Naturals.idr

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a22bfe3
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,5 @@
+.DS_Store
+.idea
+*.log
+tmp/
+build/
diff --git a/Naturals.ipkg b/Naturals.ipkg
new file mode 100644
index 0000000..f53de3e
--- /dev/null
+++ b/Naturals.ipkg
@@ -0,0 +1,47 @@
+package Naturals
+-- version =
+-- authors =
+-- maintainers =
+-- license =
+-- brief =
+-- readme =
+-- homepage =
+-- sourceloc =
+-- bugtracker =
+
+-- the Idris2 version required (e.g. langversion >= 0.5.1)
+-- langversion
+
+-- packages to add to search path
+-- depends =
+
+-- modules to install
+modules = Naturals
+
+-- main file (i.e. file to load at REPL)
+main = Naturals
+
+-- name of executable
+executable = naturals
+-- opts =
+sourcedir = "src"
+-- builddir =
+-- outputdir =
+
+-- script to run before building
+-- prebuild =
+
+-- script to run after building
+-- postbuild =
+
+-- script to run after building, before installing
+-- preinstall =
+
+-- script to run after installing
+-- postinstall =
+
+-- script to run before cleaning
+-- preclean =
+
+-- script to run after cleaning
+-- postclean =
diff --git a/src/Naturals.idr b/src/Naturals.idr
new file mode 100644
index 0000000..0766666
--- /dev/null
+++ b/src/Naturals.idr
@@ -0,0 +1,4 @@
+module Naturals
+
+main : IO ()
+main = putStrLn "Hello!"