Serokell’s Work on GHC: Dependent Types, Part 5
https://serokell.io/blog/serokell-s-work-on-ghc-dependent-types-part-5
#Haskell #DependentTyples
Haskell Programming Language
npub1sl…c4lap
2026-06-01 12:38:41 UTC
Author Public Key
npub1slaalhtvnzje5aeshexllflv5qgt8e62pj2k9dkwrzzdssd4mmcq8c4lapSeen on
wss://relay.ditto.pub