issues
search
bitonic
/
tog
25
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Hidden Bindings
#22
ysharoda
opened
4 years ago
0
The J function
#21
ysharoda
opened
4 years ago
0
Makefile
#20
ysharoda
closed
4 years ago
1
Fix checking of Π-types
#19
vlopezj
closed
7 years ago
0
Fix intersection
#18
vlopezj
closed
7 years ago
0
Fixed typing rule (comment) for constructor elaboration
#17
andreasabel
closed
7 years ago
0
Handle equality of `Open`ed things better
#16
bitonic
opened
9 years ago
0
Do not depend on package `either`
#15
andreasabel
closed
9 years ago
3
Check that things are "instantiated"
#14
bitonic
opened
9 years ago
0
Add data constructors all at once
#13
bitonic
closed
9 years ago
1
Keep track of source spans in constraints
#12
bitonic
opened
9 years ago
0
Implicit arguments are broken in record projections
#11
bitonic
opened
9 years ago
2
Order of constraints affects unification outcome
#10
bitonic
opened
9 years ago
0
Take advantage of Substitution to increase sharing
#9
bitonic
closed
9 years ago
1
How to handle currying of meta-variables with pruning
#8
bitonic
closed
9 years ago
2
Use dedicated newtype for Abs
#7
bitonic
opened
9 years ago
0
Implement proper `Substitution`s...
#6
bitonic
closed
9 years ago
1
Treat forward-defined definitions as un-instantiated metas
#5
bitonic
opened
10 years ago
0
Perform all eta-related tasks lazily
#4
bitonic
opened
10 years ago
2
Handle equality of records better
#3
bitonic
opened
10 years ago
0
Implement pattern coverage
#2
bitonic
opened
10 years ago
0
Where clauses don't work
#1
bitonic
closed
9 years ago
1