6 commits

Author	SHA1	Message	Date
Nathan McCarty	525b9c68cd	Handle idris errors	2024-12-30 14:14:19 +00:00
Nathan McCarty	2784a7d80a	Docs	2024-12-30 14:10:05 +00:00
Nathan McCarty	ae73c9050d	Fix string handling messup	2024-12-30 13:52:31 +00:00
Nathan McCarty	f6c40813d2	Minor refactoring	2024-12-30 13:44:20 +00:00
Nathan McCarty	72393480e3	Basic IDE mode interface	2024-12-30 13:32:52 +00:00
Nathan McCarty	c34c38fc03	Initial commit	2024-12-30 11:08:48 +00:00