Issues

• Inferno should support leading underscores and/or wildcard bindings

  plow-technologies/inferno#175 · Filter by author ngua opened on May 20, 2025

• [inferno-ml] Have inferno-ml-server run as a system user

  correctness
  plow-technologies/inferno#151 · Filter by author ngua opened on Jan 16, 2025

• Misleading error when custom type names partially overlap

  bug
  plow-technologies/inferno#127 · Filter by author ngua opened on Jun 24, 2024

• [inferno-ml] Structured errors for inferno-ml-server

  correctnessenhancement
  plow-technologies/inferno#126 · Filter by author ngua opened on Jun 19, 2024

• Add Github pages site with language reference

  documentation
  plow-technologies/inferno#115 · Filter by author ngua opened on Apr 17, 2024

• inferno-vc shouldn't use Manager internals

  correctness
  plow-technologies/inferno#101 · Filter by author ngua opened on Feb 9, 2024

• More documentation

  documentation
  plow-technologies/inferno#100 · Filter by author ngua opened on Feb 2, 2024

• [Request] Alias for "inferno-ml:exe:inferno-ml-lsp-server-ghc925" in nix

  enhancement
  plow-technologies/inferno#70 · Filter by author antonioc76 opened on Aug 4, 2023

• Type inference crashes on large pattern (mis)match

  bug
  plow-technologies/inferno#54 · Filter by author siddharth-krishna opened on Jul 11, 2023

• Incorrect error when pattern type doesn't match expression type

  bug
  plow-technologies/inferno#53 · Filter by author siddharth-krishna opened on Jul 11, 2023

• Fix slow parsing of tuple patterns and types

  enhancementgood first issue
  plow-technologies/inferno#51 · Filter by author siddharth-krishna opened on Jul 11, 2023

• [inferno-vc] Investigate failing test for fetchFunctionsForGroups

  plow-technologies/inferno#50 · Filter by author siddharth-krishna opened on Jun 27, 2023

• Confusing type error message when comparing Array.length to a double

  bug
  plow-technologies/inferno#44 · Filter by author siddharth-krishna opened on May 2, 2023

• WIP: A Concurrency Tester for Inferno-VC (and other servant servers)

  enhancement
  plow-technologies/inferno#37 · Filter by author siddharth-krishna opened on Feb 28, 2023

• Quick succession of saving script leads to broken history state

  plow-technologies/inferno#19 · Filter by author shulhi opened on Jan 9, 2023
  1

• Consider switching to buildNpmPackage from nixpkgs

  enhancementnix
  plow-technologies/inferno#14 · Filter by author ngua opened on Jan 6, 2023

• Ormolu segfaults on M1 mac

  bug
  plow-technologies/inferno#10 · Filter by author goodlyrottenapple opened on Dec 27, 2022
  3