User:Cobalt pen

Working on

 * Hindley-Milner (en) -- finished for now
 * Hindley-Milner (de) -- currently in an old state