Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
probably unpopular take: idris should separate
**into two operators so that there's different names for the type and the constructor.mainly so i can get one type error instead of two when i get it wrong.