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
[ Parent
| on HN ]
There are no comments on this comment yet.