This currently is a test to create a new kind of (very simple) parser that could handle arbitrary error messages. I want my errors to be easily translated in different languages, so they shouldn't be arbitrary strings.

Philippe Pittoli 43d8ae9c0b Comment fix.		2024-01-31 05:24:16 +01:00
drop	Clean the entire src/ directory.	2024-01-19 02:03:32 +01:00
src	Comment fix.	2024-01-31 05:24:16 +01:00
test	Rewriting comments.	2024-01-31 05:20:16 +01:00
.gitignore	…
makefile	typo	2024-01-23 03:56:58 +01:00
packages.dhall	…
spago.dhall	…