mirror of
https://github.com/Jaxan/nominal-lstar.git
synced 2025-04-26 22:27:46 +02:00
10 lines
86 B
Text
10 lines
86 B
Text
dist/
|
|
.cabal-sandbox/
|
|
*.o
|
|
*.hi
|
|
*.prof
|
|
*.code-workspace
|
|
.stack-work
|
|
.vscode
|
|
bench.csv
|
|
|