Prototype development toolkit for idris

Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Nathan McCarty dd1579607a Automatically search parent directories for the ipkg		2025-02-14 23:01:44 -05:00
bin	oops	2025-01-26 20:30:24 -05:00
examples/testy	Working idris2 error detection	2025-01-02 00:00:13 -05:00
lib	Automatically search parent directories for the ipkg	2025-02-14 23:01:44 -05:00
.gitignore	Ignore envrc for now	2025-01-20 16:47:42 -05:00
META6.json	Fix META6	2024-12-31 16:19:02 -05:00