Linear Types, Resource Management, Multiplicity Polymorphism, GHC
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·9h
Recurse Checkins
404wolf.com·2h
Functional Threading “Macros”
aartaka.me·21h
Loading...Loading more...