|
drop
|
Clean the entire src/ directory.
|
2024-01-19 02:03:32 +01:00 |
|
src
|
Fix wildcard parsing.
|
2025-04-28 02:24:10 +02:00 |
|
test
|
Fix wildcard parsing.
|
2025-04-28 02:24:10 +02:00 |
|
.gitignore
|
Parser repository init.
|
2023-12-17 12:57:26 +01:00 |
|
makefile
|
Quick fix for the doc generation.
|
2024-02-16 02:22:03 +01:00 |
|
packages.dhall
|
Parser repository init.
|
2023-12-17 12:57:26 +01:00 |
|
spago.dhall
|
Compiles!
|
2024-01-18 05:00:11 +01:00 |
