Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
it would be even easier in a true dependently typed language, but the whole point was to avoid needing that level of sophistication.
yes, obviously ghc is unsophistamacated stuff for ordinary people