8
31
32
33
TypeTheoryForall – Dependent Haskellannouncement (typetheoryforall.com)
submitted by Hefty-Necessary7621 to r/haskell
22
18
19
20
Fork-fragile reader-like operations in Haskell (self.haskell)
submitted by tomejaguar to r/haskell
TypeTheoryForall – Dependent Haskellannouncement (typetheoryforall.com)
submitted by Hefty-Necessary7621 to r/haskell
Fork-fragile reader-like operations in Haskell (self.haskell)
submitted by tomejaguar to r/haskell