Search results

change to racket broke this package

Status: Open.

#105 In lexi-lambda/hackett;

· rfindler opened on Sep 10, 2025

Current Status

Status: Open.

#98 In lexi-lambda/hackett;

· arunvickram opened on Jul 7, 2019

Please add the racket topic to this repo

Status: Open.

#97 In lexi-lambda/hackett;

· spdegabrielle opened on Jun 4, 2019

Auto-derived Show instance not terminating

bug

Status: Open.

#92 In lexi-lambda/hackett;

· fiddlerwoaroof opened on Oct 17, 2018

Internal error when typechecking malformed forall clause

bug

Status: Open.

#91 In lexi-lambda/hackett;

· patrickt opened on Oct 3, 2018

scribble/manual

Status: Open.

#90 In lexi-lambda/hackett;

· bennn opened on Jul 10, 2018

Infinite loop while resolving instances

bug

Status: Open.

#89 In lexi-lambda/hackett;

· AlexKnauth opened on Jul 6, 2018

Allow a macro to "reset" the elaborator and do all the elaboration passes within itself

Status: Open.

#87 In lexi-lambda/hackett;

· AlexKnauth opened on Jul 3, 2018

Expression type annotation vs. Declaration type annotation

Status: Open.

#73 In lexi-lambda/hackett;

· AlexKnauth opened on May 17, 2018

Rigid vars allowed to escape their scope

bug

Status: Open.

#70 In lexi-lambda/hackett;

· iitalics opened on May 10, 2018

Slow typechecking due to linear search in type context

bug

Status: Open.

#62 In lexi-lambda/hackett;

· michaelballantyne opened on Feb 15, 2018

Proposal: a macro DSL based on bidirectional type checking

Status: Open.

#61 In lexi-lambda/hackett;

· gelisam opened on Jan 14, 2018