Closed aspiwack closed 4 years ago
I've pushed a couple of typofixes.
"This behavior can be customized using the GADT syntax." - it's now less clear that "This" is referring to the linear fields.
I would keep the fact that calling a function is linear.
I preferred the section on printing to be first, because otherwise users have to jump ahead when reading about data types.
Let's document clearly that a # m -> b is not parsed.
a # m -> b
It's not an issue. This is where FUN ought to be. It isn't but it's a bug. I will fix, in the meantime, let's merge the manual :slightly_smiling_face:
FUN
I've pushed a couple of typofixes.
"This behavior can be customized using the GADT syntax." - it's now less clear that "This" is referring to the linear fields.
I would keep the fact that calling a function is linear.
I preferred the section on printing to be first, because otherwise users have to jump ahead when reading about data types.
Let's document clearly that
a # m -> b
is not parsed.