leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #3730 from the
@leastfixedpoint Twitter Archive
So Haskell's ExistentialQuantification feels pretty smooth compared to RankNTypes.
