main

ninja implementation written in ATS2

Makefile
23 L
README
5 L
build.ninja
13 L
main.dats
29 L
parse.dats
308 L
parse.sats
30 L
scan.dats
222 L
scan.sats
34 L

readme

1monk
2----
3
4(wip) implementation of ninja in ATS2!