Search results

Add revision 2 spec

Status: Open.

#10 In mjgpy3/lambda-calc-spec;

· mjgpy3 opened on May 23, 2016

Add tests (and engine code) for expected failures

Status: Open.

#9 In mjgpy3/lambda-calc-spec;

· mjgpy3 opened on May 21, 2016

Node implementation

Status: Open.

#7 In mjgpy3/lambda-calc-spec;

· mjgpy3 opened on May 21, 2016

Erlang implementation

Status: Open.

#5 In mjgpy3/lambda-calc-spec;

· mjgpy3 opened on May 20, 2016

Clojure implementation

Status: Open.

#4 In mjgpy3/lambda-calc-spec;

· mjgpy3 opened on May 20, 2016

Idris implementation

Status: Open.

#2 In mjgpy3/lambda-calc-spec;

· mjgpy3 opened on May 20, 2016