OSDN Git Service

Partial reduction for combinator rule works after all.
authorSimon Forman <sforman@hushmail.com>
Thu, 30 Jan 2020 18:25:12 +0000 (10:25 -0800)
committerSimon Forman <sforman@hushmail.com>
Thu, 30 Jan 2020 18:25:12 +0000 (10:25 -0800)
commit400cc7dcde92524e6bdad95c0701ecee1cfe5436
treeef328094df7f658e1a0080acc60bedf4b339236b
parent8d1797c1b6601e8e318f06950c9a9650df6784b1
Partial reduction for combinator rule works after all.

It just looked weird to me and I didn't think it through.
Once I checked it I realized it was okay.
thun/thun.pl