From 6b16c682e60e805affe40e4e8dd9574ad2ddf7f3 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 8 Mar 2017 17:42:52 +0100 Subject: [PATCH] More demo using S and K combinators. --- .../models/sample/demo/fooblah.mps | 89 +++++++++++++++++++ 1 file changed, 89 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 e53a1b82..8534a2e8 100644 --- a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps +++ b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps @@ -298,6 +298,14 @@ + + + + + + + + @@ -410,6 +418,87 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +