99 ms·
Oh of course, and that also explains the use of GADTs since they are one route to dependent types in Haskell. I'm not sure what he's done there is fully legit,
by jdn 13y ago
Oh of course, and that also explains the use of GADTs since they are one route to dependent types in Haskell. I'm not sure what he's done there is fully legit, but maybe not as loony as at first thought.
- tel 13y agoIt plays fast and loose on notation, but is perfectly kosher in GHC (not Haskell2010 or Haskell98).