Haskell Weekly on Nostr: Dependent Types in Haskell, Part 4 ...

Dependent Types in Haskell, Part 4

https://serokell.io/blog/serokell-s-work-on-ghc-dependent-types-part-4

Discussions: https://discu.eu/q/https://serokell.io/blog/serokell-s-work-on-ghc-dependent-types-part-4

#haskell #programming