Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
newtype Fix f = Fix { unFix :: f (Fix f) }
-- Analog to Expr = ExprR Expr
type Expr = Fix ExprR
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment