3 ms·Dependent types in Idris, and GADT and type families in Haskell.by VladimirGolovin 10y agoDependent types in Idris, and GADT and type families in Haskell.bbcbasic 10y agoThe easy stuff then. ;-)