rhiannon morris 4a23916f00 add PrettyVal stuff for parser AST		2023-10-22 19:18:38 +02:00
..
FromParser	detect reserved words inside names like 'a.λ.b'	2023-09-24 17:36:26 +02:00
FromParser.idr	check for duplicate cases in enum matches	2023-09-22 18:37:53 +02:00
Lexer.idr	detect reserved words inside names like 'a.λ.b'	2023-09-24 17:36:26 +02:00
LoadFile.idr	more effect stuff, incl. ST	2023-08-25 18:59:54 +02:00
Parser.idr	change it to #[..] since # is also reserved	2023-09-22 18:38:40 +02:00
Syntax.idr	add PrettyVal stuff for parser AST	2023-10-22 19:18:38 +02:00