Issues

• Scope errors refer to internal identifiers

  bug
  Bug

  IowaFP/Rosi#54 · Filter by author jgbm opened on Oct 5, 2026
  3

  

• Pattern matching on singletons

  enhancement
  Feature

  IowaFP/Rosi#53 · Filter by author jgbm opened on Oct 1, 2026
  

• Row Filtering / Split constraint

  enhancement
  Feature

  IowaFP/Rosi#52 · Filter by author McTano opened on Sep 30, 2026
  4

• Infix type operators

  enhancement
  Feature

  IowaFP/Rosi#50 · Filter by author jgbm opened on Aug 29, 2026
  

• First-class patterns

  enhancement
  Feature

  IowaFP/Rosi#49 · Filter by author jgbm opened on Jul 19, 2026

• Record patterns

  enhancement
  Feature

  IowaFP/Rosi#45 · Filter by author jgbm opened on Jun 26, 2026
  2

  

• Unsolvable predicates in inferred types not reported as type errors

  enhancement
  Feature

  IowaFP/Rosi#41 · Filter by author McTano opened on Jun 12, 2026
  5

  

• Missing predicate generalization step for type abstractions

  bugenhancement
  Feature

  IowaFP/Rosi#40 · Filter by author jgbm opened on Jun 9, 2026
  

• Rudimentary testing framework

  Task

  IowaFP/Rosi#35 · Filter by author McTano opened on May 28, 2026
  1

• README is out of date

  documentation
  Task

  IowaFP/Rosi#32 · Filter by author McTano opened on May 27, 2026
  

• Improvement in type inference

  enhancement
  Feature

  IowaFP/Rosi#21 · Filter by author jgbm opened on Jan 16, 2026
  1

  

• Support arbitrary generalization points

  enhancement
  Feature

  IowaFP/Rosi#20 · Filter by author jgbm opened on Dec 19, 2025
  

• Pretty printing is fucky

  IowaFP/Rosi#17 · Filter by author ahubers opened on Dec 17, 2025
  

• Feature wishlist

  documentation
  Feature

  IowaFP/Rosi#13 · Filter by author ahubers opened on Dec 15, 2025
  3