Search results

<code>:step</code> last evaluation

enhancementNew feature or requestNew feature or request

Status: Open.

#27 In TurtlePU/lambda-calculus;

· TurtlePU opened on Nov 6, 2022

Can't import nested modules

bugSomething isn't workingSomething isn't working

modules

Status: Open.

#26 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 24, 2022

Recursive module resolution

difficult issueExtra attention is neededExtra attention is needed

enhancementNew feature or requestNew feature or request

modules

Status: Open.

#25 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 24, 2022

Override default interrupt handlers

bugSomething isn't workingSomething isn't working

Status: Open.

#24 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 24, 2022

Type aliases

enhancementNew feature or requestNew feature or request

STLC

Status: Open.

#18 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 2, 2022

STLC Type checker

STLC

Status: Open.

#17 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 2, 2022

STLC Term parser

STLC

Status: Open.

#16 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 2, 2022

Type constants

STLC

Status: Open.

#15 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 2, 2022

Simply Typed LC

difficult issueExtra attention is neededExtra attention is needed

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

STLC

Status: Open.

#14 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 2, 2022

Recursive bindings

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 2, 2022

Pretty Church numerals

difficult issueExtra attention is neededExtra attention is needed

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 2, 2022

Reduce using eta-equivalence

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In TurtlePU/lambda-calculus;

· TurtlePU opened on Oct 2, 2022