Dependent and refinement types: why?
Why are dependent and refinement types useful?
September 14 2020
haskell
,
functional programming
,
functional
,
dependent types
,
refinement types
,
arend
,
agda
,
coq
,
liquidhaskell