News for hackers. Stuff that matters.
Re:Catala Lang: DSL designed for deriving implementations fr... by solidsnack9000 on Friday September 24, 2021 @02:58AM (#28639399)
The process of developing the formalism would actually surface a lot of those issues. The distinction between "pistols" and "rifles", for example, raises many practical questions...

There are no comments on this comment yet.