2026-04-28

What's Changed

• Add HTTP server support by @chrisdone-artificial in #120
• Add Semigroup/Monoid instances for Builder by @chrisdone-artificial in #121
• Flake for static build on arm64/amd64 linux by @chrisdone-artificial in #122
• Fix the Semigroup for Builder instance by @chrisdone-artificial in #123

Full Changelog: 2026-04-21...2026-04-28

2026-04-21

What's Changed

• Add entailment for (C a, C b) => C (t a b) for Either and (,) by @chrisdone-artificial in #117

Full Changelog: 2026-04-19...2026-04-21

2026-04-19

What's Changed

• Support restricted form of entailment: C a => C (t a) (e.g. Eq a => Eq [a]) by @chrisdone-artificial in #114

Full Changelog: 2025-11-11...2026-04-19

2025-11-11

What's Changed

• Generalize forall and class constraints by @chrisdone-artificial in #101
• Factor out instance resolution into its own function by @chrisdone-artificial in #102
• Add --compiler-stats option by @chrisdone-artificial in #103
• Support Semigroup [a] (etc) by @chrisdone-artificial in #104
• Add more stats about infer pipeline by @chrisdone-artificial in #105
• Add more timing stats by @chrisdone-artificial in #106
• Add subcommand support by @chrisdone-artificial in #109
• Support case expressions for primitive types (Maybe, Either, etc) by @chrisdone-artificial in #110

Full Changelog: 2025-06-09...2025-11-11

2025-06-09

What's Changed

• Add Directory.does{File,Directory}Exist by @chrisdone-artificial in #99

Full Changelog: 2025-05-30...2025-06-09

2025-05-30

What's Changed

• Add basic Integer support by @chrisdone-artificial in #95
• Add basic Day support by @chrisdone-artificial in #96
• Add UTCTime and TimeOfDay by @chrisdone-artificial in #97

Full Changelog: 2025-05-29...2025-05-30

2025-05-29

What's Changed

• Add These constructors and These.these function by @austin-artificial in #90
• Add Monad.sequence by @austin-artificial in #92
• Add Int/Double.readMaybe, showEFloat, showFFloat by @chrisdone in #93

Full Changelog: 2025-03-04...2025-05-29

2025-03-04

What's Changed

• Support NamedFieldPuns by @chrisdone in #84
• Support type signatures in top-level pat bind and for expressions by @chrisdone in #85
• Add Control.Applicative.Alternative capabilities, and introduce Alternative.optional field by @austin-artificial in #86

Full Changelog: 2025-01-21...2025-03-04

2025-01-21

What's Changed

• Add filtering to api page by @austin-artificial in #81
• Add Process.nullStream by @austin-artificial in #82
• Add IO.Handle as type by @austin-artificial in #83
• Slightly better error messages with constraints.

Full Changelog: 2025-01-13...2025-01-21

2025-01-13

What's Changed

• Add Process.useHandleOpen primitive by @austin-artificial in #76
• Add IO.hClose primitve by @austin-artificial in #77
• Add Process.setWorkingDir and IO.openFile (and constructors) by @austin-artificial in #79
• Add optparse-applicative support by @chrisdone in #78

Full Changelog: 2025-01-09...2025-01-13