-
chevalier@alum.wellesley.edu authored
I was confused by the newtype eta-contraction trick before. Newtype declarations are much less redundant now.
e4417dcd
I was confused by the newtype eta-contraction trick before. Newtype declarations are much less redundant now.