bracer icon indicating copy to clipboard operation
bracer copied to clipboard

Published 20 hours ago • verified publisher icon patrickt

Overview of the expression problem

Open patrickt opened this issue 10 years ago • 0 comments

Should probably include an explanation of coproducts, at least deep enough to make sure people understand :+: and :<:. Type families, too.

patrickt avatar Dec 10 '14 21:12 patrickt