mps-coderules/samples/lambdacalc/solutions
grigorii.kirgizov 682ed5b90b lc: refine subsumption rel; add examples in DemoScope; editor enhancements (amend commit) 2019-01-09 11:17:42 +03:00
..
samples.lambdacalc.build Add tests to build script for lambdacalc 2018-11-29 13:23:48 +01:00
samples.lambdacalc.demo lc: refine subsumption rel; add examples in DemoScope; editor enhancements (amend commit) 2019-01-09 11:17:42 +03:00