commit c34c38fc03bbd02479bc61468e55edf547ecc179 Author: Nathan McCarty Date: Mon Dec 30 11:08:48 2024 +0000 Initial commit diff --git a/.envrc b/.envrc new file mode 100644 index 0000000..e086264 --- /dev/null +++ b/.envrc @@ -0,0 +1,9 @@ +use flake ~/Projects/Nix/system#idris2 +export PACK_DIR=~/Projects/Idris/.env/pack +export RAKUDIST_HOME=~/Projects/Idris/.env/raku +export ZEF_BIN_DIR=~/Projects/Idris/.env/raku/bin +export HEDGEHOG_COLOR=true +export RAKULIB=/home/nathan/Projects/Idris/iutils/lib +PATH_add ~/Projects/Idris/.env/pack/bin +PATH_add ~/Projects/Idris/.scripts/bin +PATH_add ~/Projects/Idris/.env/raku/bin diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..33b88f9 --- /dev/null +++ b/.gitignore @@ -0,0 +1,7 @@ +.DS_Store +.idea +*.log +tmp/ +.tmp/ +.direnv/ +**/.precomp/ diff --git a/META6.json b/META6.json new file mode 100644 index 0000000..df9998c --- /dev/null +++ b/META6.json @@ -0,0 +1,16 @@ +{ + "name": "iutils", + "description": "Idris 2 utilities for testing, benchmarking, and documentation", + "version": "0.1.0", + "perl": "6.d", + "authors": [ + "Nathan McCarty " + ], + "provides": { + "IUtils::IDEMode": "lib/IUtils/IDEMode.rakumod" + }, + "bin": { + "iutils": "bin/iutils" + }, + "resources": [ ], +} diff --git a/bin/iutils b/bin/iutils new file mode 100755 index 0000000..0d3505c --- /dev/null +++ b/bin/iutils @@ -0,0 +1,3 @@ +#!/usr/bin/env raku +use v6.d; +use IUtils::IDEMode; diff --git a/lib/IUtils/IDEMode.rakumod b/lib/IUtils/IDEMode.rakumod new file mode 100644 index 0000000..d6e5ed1 --- /dev/null +++ b/lib/IUtils/IDEMode.rakumod @@ -0,0 +1 @@ +unit module IUtils::IDEMode;