trilogy/testsuite/query-implication/ at string-repr-callable · eldridge.cam/trilogy

eldridge.cam / trilogy

Actually just three programming languages in a trenchcoat

trilogy / testsuite / query-implication /

at string-repr-callable 2 files

reimplement module syntax according to new specification

3 months ago

fixed implication which was trying to both use and close the same value

5 months ago