Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
sebastian and simon
sebastian and simon
· Changes
Page history
Update sebastian and simon
authored
Dec 03, 2019
by
Sebastian Graf
Hide whitespace changes
Inline
Side-by-side
sebastian-and-simon.md
View page @
e9a5f949
...
...
@@ -19,6 +19,7 @@
-
Paper
-
`T[r]`
OK?
-
\c
tcon binds term names only. Should we also bind type vars? What about type constraints? The latter become constraints on their own.
-
!2218 Unlifted data types: Just works!
...
...