Top 1,000 Features Creators Events Podcasts Extensions Interviews Blog Explorer CSV

Catala

< >

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

#821on PLDB 5Years Old
Download source code:
git clone https://github.com/CatalaLang/catala
HomepageSource Code

Programming language for literate programming law specification


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

View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll