Identi.ca
Login
Shakthi Kannan
at
2024-07-14T13:39:07Z
Hazel https://hazel.org/ is a live functional-programming environment rooted in the principles of type theory https://github.com/hazelgrove/hazel #OCaml #Productivity #Tool