by algebraic-sofia
#30 in #kind
88 downloads per month Used in kind2
26KB 606 lines
Driver for the kind compiler
~18–26MB ~353K SLoC