-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: plow-technologies/inferno
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
Misleading error when custom type names partially overlap
bug
Something isn't working
#127
opened Jun 24, 2024 by
ngua
[inferno-ml] Structured errors for Make something more correct
enhancement
New feature or request
inferno-ml-server
correctness
#126
opened Jun 19, 2024 by
ngua
Add Github pages site with language reference
documentation
Improvements or additions to documentation
#115
opened Apr 17, 2024 by
ngua
inferno-vc
shouldn't use Manager
internals
correctness
#101
opened Feb 9, 2024 by
ngua
More documentation
documentation
Improvements or additions to documentation
#100
opened Feb 2, 2024 by
ngua
[Request] Alias for "inferno-ml:exe:inferno-ml-lsp-server-ghc925" in nix
enhancement
New feature or request
#70
opened Aug 4, 2023 by
antonioc76
Type inference crashes on large pattern (mis)match
bug
Something isn't working
#54
opened Jul 11, 2023 by
siddharth-krishna
Incorrect error when pattern type doesn't match expression type
bug
Something isn't working
#53
opened Jul 11, 2023 by
siddharth-krishna
Fix slow parsing of tuple patterns and types
enhancement
New feature or request
good first issue
Good for newcomers
#51
opened Jul 11, 2023 by
siddharth-krishna
[inferno-vc] Investigate failing test for
fetchFunctionsForGroups
#50
opened Jun 27, 2023 by
siddharth-krishna
Confusing type error message when comparing Array.length to a double
bug
Something isn't working
#44
opened May 2, 2023 by
siddharth-krishna
WIP: A Concurrency Tester for Inferno-VC (and other servant servers)
enhancement
New feature or request
#37
opened Feb 28, 2023 by
siddharth-krishna
Consider switching to New feature or request
nix
buildNpmPackage
from nixpkgs
enhancement
#14
opened Jan 6, 2023 by
ngua
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.