ML
Software / App
A functional programming language from which one can learn valuable lessons in expressing mathematical notions clearly and strict type systems.
Mentioned in 1 video
A functional programming language from which one can learn valuable lessons in expressing mathematical notions clearly and strict type systems.