From 0d648afda8e0308b1e0511e144c0c224d12bc4d8 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 7 Mar 2017 13:35:17 +0100 Subject: [PATCH] S, K, and I combinators --- .../models/sample/demo/fooblah.mps | 84 +++++++++++++++++++ 1 file changed, 84 insertions(+) diff --git a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps index 8bde285e..402536bc 100644 --- a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps +++ b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps @@ -327,5 +327,89 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +