leastfixedpoint

Archived tweet #3491 from the @leastfixedpoint Twitter Archive
"After all this trickiness about linearity, actually checking types for processes is quite easy."