Planet Haskell planet.haskell.org

Magnus Therning: Using lens-aeson to implement FromJSON

magnus.therning.org·61w

GHC Developer Blog: GHC 9.12.2 is now available

haskell.org·61w

Brent Yorgey: Hendrix College Programming Contest 2025

byorgey.github.io·61w

Extrinsic termination proofs for well-founded recursion in Lean

joachim-breitner.de·61w·Hacker News

Sum Types and Subtypes and Unions

blog.jle.im·62w·Hacker News, r/programming

The Right Number of YubiKeys is Three

r6.ca·63w

GHC Developer Blog: GHC 9.12.2-rc1 is now available

haskell.org·63w

Haskell Interlude: 62: Conal Elliott

haskell.foundation·65w

Sandy Maguire: Bidirectional Instance Contexts

reasonablypolymorphic.com·65w

Oleg Grenrus: PHOAS to de Bruijn conversion

oleg.fi·65w

Oleg Grenrus: NbE PHOAS

oleg.fi·66w

Machine: Learning; Human: Unlearning;

wickstrom.tech·66w·Lobsters, Hacker News

I've been nominated for a teaching award

wadler.blogspot.com·66w·Blogger

Who pays a tax?

snoyman.com·67w

Coding on my eInk Tablet

joachim-breitner.de·67w

Chris Reade: PenroseKiteDart User Guide

readerunner.wordpress.com·110w

Log in to enable infinite scrolling