Re:GADTs for Dummies
by ebingdom on Wednesday May 19, 2021 @03:48AM
(#27205749)
Um that's just an ADT, not a GADT...
[ Parent
| on HN ]
There are no comments on this comment yet.
There are no comments on this comment yet.