I have completed Gen and Case. I Also added an explanation for generalization and the promotion of unification variables.

Rule Case is wrong in many ways. I'll fix it today.

@simonpj I've added section 3.1 (TcLevel explanations), figure 1 (UniPre_Touchable), let bindings without annotations, converted Constraint grammar...

Great then!

Yes Fig 2 looks good to me.

Fig 2 of haskell.pdf. The main document, not Quick Look.

@simonpj What do you think about putting Infer and Check versions of the same expressions together? Similar to Figure 2?...

@simonpj What do you think about putting Infer and Check versions of the same expressions together? Similar to Figure 2?

I've added a very naive support for lhs2tex to wip/MakeLHS. I am not satisfied with the solution, but other than using %if False and this the curre...

I still haven't found the best way to encode the grammar for substitution....

I think I'll be able to complete the explanations and examples in the following week.

I'll be closing this and creating a new one. All of the problems in the current merge request have been fixed.

Sorry for the slip up. I already had it listed in my .gitignore_global , and .git/info/exclude files. The problem has to do something with magit I ...

I see this commits a .DS_Store file (a metadata file from macOS) -- this post does a nice job explaining how to avoid this. Review on the way.

It is!