main

ninja implementation written in ATS2

Makefile
24 L
README
7 L
build.ninja
10 L
graph.dats
237 L
graph.sats
31 L
main.dats
35 L
parse.dats
308 L
parse.sats
31 L
scan.dats
222 L
scan.sats
34 L
types.sats
5 L

readme

1monk
2----
3
4(wip) implementation of ninja in ATS2!
5
6right now it accepts a subset of ninja syntax and emits graphviz.