News for hackers. Stuff that matters.
Re:Dependent Haskell Is the Future (2018) by whateveracct on Friday August 16, 2019 @11:56AM (#20716444)
Yep - we can even do this today in Haskell without -XDependentTypes :) using things like singletons

There are no comments on this comment yet.