Search results

Can we integrate sexp-diff into error messages?

Status: Open.

#138 In wilbowma/cur;

· wilbowma opened on Aug 27, 2020

Integrate predictable type-aware macros?

Status: Open.

#137 In wilbowma/cur;

· wilbowma opened on Aug 23, 2020

add universe level inference

enhancement

Status: Open.

#136 In wilbowma/cur;

· stchang opened on Jul 2, 2020

define definitions recomputed on every call

Status: Open.

#134 In wilbowma/cur;

· wilbowma opened on Jun 25, 2020

Some Types are not fully expanded

Status: Open.

#133 In wilbowma/cur;

· wilbowma opened on Jun 23, 2020

Elimnators and lambda not resugared properly?

Status: Open.

#132 In wilbowma/cur;

· wilbowma opened on Jun 22, 2020

Package catalogue running out of memory

Status: Open.

#131 In wilbowma/cur;

· wilbowma opened on Jun 19, 2020

sigma doesnt resugar properly

Status: Open.

#128 In wilbowma/cur;

· stchang opened on Jun 16, 2020

Pattern matcher support for dead clauses

Status: Open.

#127 In wilbowma/cur;

· wilbowma opened on Jun 16, 2020

"#%app: expected a typed term" with emacs-mode

Status: Open.

#125 In wilbowma/cur;

· wilbowma opened on Jun 16, 2020

Printable data types

Status: Open.

#124 In wilbowma/cur;

· wilbowma opened on Jun 16, 2020

new-elim -> elim, elim -> old-elim

Status: Open.

#123 In wilbowma/cur;

· wilbowma opened on Jun 15, 2020