-
Notifications
You must be signed in to change notification settings - Fork 3
Issues: VirtusLab/Inkuire
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
Issues list
Support parsing wildcards as HKTs
enhancement
New feature or request
scala3
Related to scala 3 engine
#237
opened Sep 14, 2022 by
KacperFKorban
Allow using New feature or request
scala3
Related to scala 3 engine
?
as star projection/wildcard
enhancement
#236
opened Sep 14, 2022 by
KacperFKorban
Function descriptions
enhancement
New feature or request
scala3
Related to scala 3 engine
#219
opened Oct 14, 2021 by
KacperFKorban
Signatures should find a valid function
bug
Something isn't working
scala3
Related to scala 3 engine
#217
opened Sep 29, 2021 by
KacperFKorban
2 of 3 tasks
Fully qualified names of Types
scala3
Related to scala 3 engine
#216
opened Sep 28, 2021 by
KacperFKorban
Better isomorphic searches
enhancement
New feature or request
scala3
Related to scala 3 engine
#215
opened Sep 21, 2021 by
KacperFKorban
Support contextual parameters in scala3
scala3
Related to scala 3 engine
#191
opened Jul 16, 2021 by
prolativ
Redesign variable bindings
scala3
Related to scala 3 engine
#189
opened Jul 14, 2021 by
KacperFKorban
Reconsider changing of database
enhancement
New feature or request
proposal
Proposal for future feature
#174
opened Feb 2, 2021 by
BarkingBad
Consider adding constraints to generic-to-concrete type substitution
proposal
Proposal for future feature
#121
opened Oct 19, 2020 by
pikinier20
Support for generic type constructor constraints
enhancement
New feature or request
#113
opened Oct 15, 2020 by
KacperFKorban
Better 'equality' between two TypeVariables
enhancement
New feature or request
#56
opened Aug 22, 2020 by
KacperFKorban
Consider adding more trivial ways of searching through inkuiredb
proposal
Proposal for future feature
#51
opened Aug 21, 2020 by
KacperFKorban
ProTip!
Mix and match filters to narrow down what you’re looking for.