3 commits

Author	SHA1	Message	Date
Nathan McCarty	5fc17343cf	Tweak rust shell	2024-12-01 10:49:05 +00:00
Nathan McCarty	3ac06942ab	Idris2 devshell	2024-12-01 10:49:01 +00:00
Nathan McCarty	b136c7988e	Add rust devshell ... Add sccache Add clang so rust can actually build	2024-11-30 09:26:17 +00:00