Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Implementing trees that grow
trees that grow guidance
trees that grow guidance
· Changes
Page history
Update trees that grow guidance
authored
Mar 31, 2020
by
Ryan Scott
Show whitespace changes
Inline
Side-by-side
implementing-trees-that-grow/trees-that-grow-guidance.md
View page @
78ae5daf
...
...
@@ -164,7 +164,7 @@ data Exp x
= Var (XVar x) (XId x)
| Abs (XAbs x) (XId x) (Exp x)
| App (XApp x) (Exp x) (Exp x)
| XExp (XXExp x)
| XExp
!
(XXExp x)
type family XVar x
type family XAbs x
...
...