Skip to content

No labels!

There aren’t any labels for this repository quite yet.

90 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
pretty print
pretty print
3
primitives
primitives
prop
prop
Universe of propositions
question
question
Further information is requested
3
records
records
refactoring
refactoring
1
regression
regression
Dead bug revive
release
release
repl
repl
research
research
Something yet to be studied
resolving
resolving
1
scope
scope
serialization
serialization
1
shape
shape
1
sort system
sort system
syntax design
syntax design
4
tactic
tactic
terck
terck
1
test fixtures
test fixtures
1
trace
trace
tyck: match
tyck: match
tyck order
tyck order
tyck: path
tyck: path
tyck: pattern
tyck: pattern
Pattern type checking
tyck
tyck
1
uip
uip
1
unfold
unfold
universe polymorphism
universe polymorphism
wontfix
wontfix
This will not be worked on
work as intended
work as intended