Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Commentary
Compiler
fc
fc
· Changes
Page history
Added related lectures by Simon Peyton Jones
authored
May 19, 2021
by
WJH
Hide whitespace changes
Inline
Side-by-side
commentary/compiler/fc.md
View page @
0b00e078
...
@@ -225,3 +225,6 @@ Roles specify what nature of equality a coercion is proving. See [Roles](roles)
...
@@ -225,3 +225,6 @@ Roles specify what nature of equality a coercion is proving. See [Roles](roles)
-
exprIsConApp_maybe
-
exprIsConApp_maybe
-
simplExpr
-
simplExpr
## Related Lectures
-
https://www.youtube.com/watch?v=2IZQx7WNOMs&list=TLPQMTMwNTIwMjGbmPzQCvHwyQ&index=3
\ No newline at end of file