New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Type checker can't determine the types of functions in lambda expressions
tdnr
typechecker
#1664
opened Aug 25, 2020 by
ChrisWellsWood
switch `Patch` to use `Map` instead of `Relation`
help wanted
#1658
opened Aug 17, 2020 by
aryairani
some elements of Term base functor only valid in some parts of Term life cycle
clean up
#1650
opened Aug 11, 2020 by
aryairani
random seed 5399549024366200317 of `name.segments` test failed
bug
help wanted
#1648
opened Aug 10, 2020 by
aryairani
pull-request.create is awkward when the output is bigger than a screen
pr-process
#1646
opened Aug 8, 2020 by
ceedubs
Use shadowing in a pattern match to override return type
dx
#1645
opened Jul 31, 2020 by
chiroptical
Type violation when ability constructors aren't handled during pattern matching.
#1632
opened Jul 20, 2020 by
jsthomas
Typechecking fails silently when a pattern binding clashes with an ability operation name
typechecker
#1625
opened Jun 22, 2020 by
atacratic
can't add a test to the codebase if it hits a todo/bug (so no TDD)
bug
#1622
opened Jun 19, 2020 by
atacratic
"name.segments" test fails when `numDots` and `numSegs` are both 0
#1620
opened Jun 18, 2020 by
aryairani
UriParser doesn't correctly distinguish scp-style urls from local relative url + namespace suffix
#1610
opened Jun 9, 2020 by
aryairani
try using pinboard to canonicalize data in V1 codebase, and quantify
performance
#1606
opened Jun 4, 2020 by
aryairani
replace.term doesn't appear to work with records
need more info
#1604
opened Jun 3, 2020 by
icidasset
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.

