4 ms·
I would like to have some of the common language extensions, and what they do too. I can never remember the syntax for GDATs...
by Tyr42 14y ago
I would like to have some of the common language extensions, and what they do too.
I can never remember the syntax for GDATs...
- mikeplus48 14y agoStart with the spelling. :) data GADT a where Constructor0 :: Field a -> Field b -> GADT (a, b) Constructor1 :: ... ...
- deleted 14y ago[deleted]