janmasrovira 50ea7373ee Improve error generation and handling (#108) ... * add face and handling of not in scope symbol error * small fix * generic errors wip * add App effect * format * add flycheck-minijuvix * use absolute paths and refactor * fix dir0 * add generic error instances and improve some errors * format * qualify strings * use AnsiText * add ToGenericError instances for the type checker errors * improve error message * improve handling of parsing errors		2022-05-18 17:10:10 +02:00
..
flycheck-minijuvix.el	Improve error generation and handling (#108)	2022-05-18 17:10:10 +02:00
minijuvix-highlight.el	Improve error generation and handling (#108)	2022-05-18 17:10:10 +02:00
minijuvix-input.el	[emacs] Add copy of agda-input to minijuvix-mode (#57)	2022-04-11 17:11:31 +02:00
minijuvix-mode.el	Improve error generation and handling (#108)	2022-05-18 17:10:10 +02:00