2026-05-29

What's Changed

• add Semigroup instance for InfoMod by @supersonic-copycat in #132
• Update commands example by @chrisdone-artificial in #134
• expose some common filesystem operations by @supersonic-copycat in #133
• Add DayOfweek, toGregorian by @chrisdone-artificial in #135
• Bump release to 2026-05-29 by @chrisdone-artificial in #136

New Contributors

• @supersonic-copycat made their first contribution in #132

Full Changelog: 2026-05-02...2026-05-29

2026-05-02

What's Changed

• Use all cores in hell by @chrisdone-artificial in #126
• Add Alternative.many

Full Changelog: 2026-04-28...2026-05-02

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