Language

the language itself, on one worked example: a first rule, facts and the five kinds of question, exceptions and priorities, missing and conflicting facts, pinned sources and legal time, scenario files — and a page for readers coming from Catala; every page is a compilable package whose shown output is the output that ran

Page
Your first rule
Facts and questions
Exceptions and priorities
Missing and conflicting facts
Sources and legal time
Testing a package
Coming from Catala