Search results

mini-repl doesn't resolve names for type inference

Status: Open.

#40 In sfultong/stand-in-language;

· sfultong opened on Jun 24, 2021

Track down type checking bug

Status: Open.

#39 In sfultong/stand-in-language;

· sfultong opened on Jun 8, 2021

Fix partial evaluation

Status: Open.

#36 In sfultong/stand-in-language;

· sfultong opened on Nov 3, 2019

Parsing: optimize reference of top-level bindings

Status: Open.

#35 In sfultong/stand-in-language;

· sfultong opened on Sep 20, 2018

make parser capable of treating AST instuctions as first-class symbols

Status: Open.

#29 In sfultong/stand-in-language;

· sfultong opened on Jun 24, 2018

Memoization

Status: Open.

#28 In sfultong/stand-in-language;

· sfultong opened on Jun 24, 2018

Formal description of operational semantics

Status: Open.

#26 In sfultong/stand-in-language;

· cocreature opened on Jun 22, 2018

Memory management

Status: Open.

#25 In sfultong/stand-in-language;

· cocreature opened on Jun 22, 2018

get cabal repl working

Status: Open.

#16 In sfultong/stand-in-language;

· sfultong opened on Jun 14, 2018

optimize two forms of lambda

Status: Open.

#15 In sfultong/stand-in-language;

· sfultong opened on Jun 14, 2018

create intermediate grammar with natural numbers

Status: Open.

#14 In sfultong/stand-in-language;

· sfultong opened on Jun 14, 2018

Remove if/then/else from builtin parsing, make ITE function in Prelude

Status: Open.

#13 In sfultong/stand-in-language;

· sfultong opened on Jun 14, 2018