2 ms·
Afaik refinement types (e.g. LiquidHaskell) are bit more appropriate than dependent types for this sort of thing
by zokier 5y ago
Afaik refinement types (e.g. LiquidHaskell) are bit more appropriate than dependent types for this sort of thing
loading thread…