Re:Catala Lang: DSL designed for deriving implementations fr...
by wut42 on Thursday September 23, 2021 @08:25PM
(#28637254)
Thanks for the previous discussions ! I've been trying to link catala-lang.org for a couple of months on HN but _never_ envisaged it was already linked from GitHub or papers. :)
[ Parent
| on HN ]
There are no comments on this comment yet.