News for hackers. Stuff that matters.
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. :)

There are no comments on this comment yet.