Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Catala

< >

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

#655on 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

- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v155.3.0