Catala - Programming language

Catala is a programming language created in 2019 by Denis Merigoux.

#1090on PLDB	4Years Old	962Users
0Books	0Papers

Programming language for literate programming law specification

Catala website
Catala is developed on GitHub and has 846 stars
Catala first developed in https://github.com/CatalaLang
catala-lang.org was registered in 2020
HTML of this page generated by LanguagePage.ts

Example from the web:

scope QualifiedEmployeeDiscount :
 definition qualified_employee_discount
   under condition is_property consequence
 equals
   if employee_discount >$
     customer_price ×$ gross_profit_percentage
   then customer_price ×$ gross_profit_percentage
   else employee_discount