isovector/thinking-with-types

DeleteElem isn't described in the prose

Opened this issue · 0 comments

isovector commented 
type DeleteElem (key :: Symbol) (ts :: [(Symbol,k)]) = Filter (Not <=< (TyEq key <=< Fst)) ts