Search results

Core syntax reform

E-small

enhancement

Status: Open.

#54 In paulstansifer/unseemly;

· paulstansifer opened on Dec 7, 2021

Lone foralls should be allowed on both sides of subtyping. (allow ⋯ <: ∀ Y. ⋯)

enhancement

Status: Open.

#53 In paulstansifer/unseemly;

· paulstansifer opened on Dec 2, 2021

·  

0.1.0

Handle co/contra/in-variance correctly.

bug

soundness

Status: Open.

#52 In paulstansifer/unseemly;

· paulstansifer opened on Sep 7, 2021

Generate tooling for sub-languages

E-medium

enhancement

toolsFeatures not part of the compiler itselfFeatures not part of the compiler itself

Status: Open.

#51 In paulstansifer/unseemly;

· paulstansifer opened on Sep 6, 2021

·  

0.0.3

Parsing: Replace Biased with a priority system.

E-medium

enhancement

Status: Open.

#50 In paulstansifer/unseemly;

· paulstansifer opened on Sep 3, 2021

Freshen less

refactoring

Status: Open.

#49 In paulstansifer/unseemly;

· paulstansifer opened on Aug 26, 2021

Allow subtyping at the syntax level

enhancement

Status: Open.

#48 In paulstansifer/unseemly;

· paulstansifer opened on Aug 24, 2021

·  

0.0.3

Reduce or remove reliance on phaselessness

E-small

refactoring

Status: Open.

#47 In paulstansifer/unseemly;

· paulstansifer opened on Aug 20, 2021

Get rid of literally in ast_walk::walk

refactoring

Status: Open.

#46 In paulstansifer/unseemly;

· paulstansifer opened on Aug 20, 2021

MBE reform

refactoring

Status: Open.

#45 In paulstansifer/unseemly;

· paulstansifer opened on Mar 4, 2021

Typing needs to be aware of the length of repetitions

bug

E-big

soundness

Status: Open.

#44 In paulstansifer/unseemly;

· paulstansifer opened on Feb 15, 2021

Add more core forms

E-incrementalCan be done a little bit at a time.Can be done a little bit at a time.

enhancement

Status: Open.

#43 In paulstansifer/unseemly;

· paulstansifer opened on Feb 6, 2021