News for hackers. Stuff that matters.

A comment on CatalaLang/catala: Programming language for law specification. Parent comment

Re:CatalaLang/catala: Programming language for law specifica... by Anduia on Sunday September 17, 2023 @06:16PM (#37549842)
Their research group is called 'Prosecco', and another of their projects at Inria is 'Squirrel'... Another one is F* (pronounced F star).

I imagine that they find their naming choices amusing.

[ Parent | on HN ]

There are no comments on this comment yet.