4 ms·A category flavored combinatory logic prover with Definite Clause Grammars3 points by triska 4y ago