This commit is contained in:
Nathan McCarty 2024-12-30 14:10:05 +00:00
parent ae73c9050d
commit 2784a7d80a
2 changed files with 25 additions and 2 deletions

View file

@ -1,3 +1,4 @@
#| Utilities for interacting with idris and associated tooling
unit module IUtils;
need IUtils::IDEMode;