News for hackers. Stuff that matters.

A comment on Catala Lang: DSL designed for deriving implementations from legislative texts. Parent comment

Re:Catala Lang: DSL designed for deriving implementations fr... by rsrsrs86 on Thursday September 23, 2021 @06:22PM (#28636348)
Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs
[ Parent | on HN ]

There are no comments on this comment yet.