Email Gateway (Aug 18 2022 at 17:15): Email Gateway (Aug 18 2022 at 17:15):From: Steven Obua <steven.obua@googlemail.com>
I would like to announce the availability of Babel-17 v0.21.1, a programming language for purely functional programming. It is hosted at www.babel-17.com. There is also a Netbeans plugin for Babel-17, which is currently the featured plugin at netbeans.org .
Why would this be of interest to an Isabelle user? Well, first I think that purely functional programming is something that interests the typical Isabelle user. Second, if somebody is looking for a programming language for which to formulate a semantics in Isabelle, Babel-17 would surely be not too difficult to tackle, being purely functional and all :-) A slight complication might be the linear scope rules of Babel-17.
Cheers,
Steven Obua
Last updated: Apr 26 2024 at 12:28 UTC