Skip to content

0.0.1

@dankogai dankogai tagged this 18 Aug 18:09
Combinator calculus in Swift: the SKI, BCKW, Iota (with Jot) and
one-point X bases, mutually inter-translatable; the full aviary of
To Mock a Mockingbird; and an untyped lambda calculus front-end with
capture-avoiding beta-reduction, compiling to and decompiling from
any basis. Includes the ski REPL.
Assets 2
Loading