From a5453cabbd267b3c17c136b1d8e85652df4b8615 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Mon, 20 Jan 2025 17:59:22 -0500 Subject: [PATCH] Initial commit --- .envrc | 3 +++ .gitignore | 2 ++ Idris/.gitignore | 2 ++ Idris/Idris.ipkg | 48 +++++++++++++++++++++++++++++++++++ Idris/pack.toml | 4 +++ Idris/src/Idris.idr | 4 +++ Idris/src/Posts/HelloWorld.md | 7 +++++ blog | 1 + db/.gitkeep | 0 lib/.gitkeep | 0 10 files changed, 71 insertions(+) create mode 100644 .envrc create mode 100644 .gitignore create mode 100644 Idris/.gitignore create mode 100644 Idris/Idris.ipkg create mode 100644 Idris/pack.toml create mode 100644 Idris/src/Idris.idr create mode 100644 Idris/src/Posts/HelloWorld.md create mode 100755 blog create mode 100644 db/.gitkeep create mode 100644 lib/.gitkeep diff --git a/.envrc b/.envrc new file mode 100644 index 0000000..0005f61 --- /dev/null +++ b/.envrc @@ -0,0 +1,3 @@ +source_env ../Idris + +export RAKULIB=$PWD/lib diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..27f3667 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +.env/ +.direnv/ diff --git a/Idris/.gitignore b/Idris/.gitignore new file mode 100644 index 0000000..2784b39 --- /dev/null +++ b/Idris/.gitignore @@ -0,0 +1,2 @@ +build/ +*.*~ diff --git a/Idris/Idris.ipkg b/Idris/Idris.ipkg new file mode 100644 index 0000000..152ad1b --- /dev/null +++ b/Idris/Idris.ipkg @@ -0,0 +1,48 @@ +package Idris +version = 0.1.0 +authors = "Nathan McCarty" +-- 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 = Idris + , Posts.HelloWorld + +-- main file (i.e. file to load at REPL) +-- main = + +-- name of executable +-- executable = +-- 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/Idris/pack.toml b/Idris/pack.toml new file mode 100644 index 0000000..b6854dd --- /dev/null +++ b/Idris/pack.toml @@ -0,0 +1,4 @@ +[custom.all.Idris] +type = "local" +path = "." +ipkg = "Idris.ipkg" diff --git a/Idris/src/Idris.idr b/Idris/src/Idris.idr new file mode 100644 index 0000000..5ea781d --- /dev/null +++ b/Idris/src/Idris.idr @@ -0,0 +1,4 @@ +module Idris + +test : String +test = "Hello from Idris2!" diff --git a/Idris/src/Posts/HelloWorld.md b/Idris/src/Posts/HelloWorld.md new file mode 100644 index 0000000..026080b --- /dev/null +++ b/Idris/src/Posts/HelloWorld.md @@ -0,0 +1,7 @@ +# Hello World + +```idris +module Posts.HelloWorld + +%default total +``` diff --git a/blog b/blog new file mode 100755 index 0000000..e8c2cb5 --- /dev/null +++ b/blog @@ -0,0 +1 @@ +#!/usr/bin/env raku diff --git a/db/.gitkeep b/db/.gitkeep new file mode 100644 index 0000000..e69de29 diff --git a/lib/.gitkeep b/lib/.gitkeep new file mode 100644 index 0000000..e69de29