Publication

Binders in syntax trees, made easy. λ At Lambda World, Enrico Tassi introduced Elpi, a logic programming language descended from λProlog that you can embed into OCaml applications as an extension language. #YayYayConf #LW26 #OCaml t.co/ogP58yN1gY

If natural language is the vehicle of thought, programming language is the vehicle of software architecture. @M_Wildwhisky on why MoonBit 1.0 brings functional programming to industry, at Lambda World. 🌙 #YayYayConf #LW26 #MoonBit t.co/e5VUPnRGxb