3 Commits

Author	SHA1	Message	Date
Steve Dunham	92ced8dcd2	LSP document symbols	2026-03-07 21:33:12 -08:00
Steve Dunham	fe3e25f009	AoC todos and tweaks	2025-12-13 14:51:26 -08:00
Steve Dunham	1ed884eff9	Show instances, fixed a bunch of bugs in parsing ... - The case / let / indent stuff actually works - Needed a bunch of defers - Idris silently builds loops in immediate definitions	2022-09-12 07:46:04 -07:00