Programming language for literate programming law specification - GitHub - CatalaLang/catala: Programming language for literate programming law specification
‘OK, we’ve accepted “True” to refer to an arbitrary entity denoted as “#t” and “False” to refer to an arbitrary entity denoted as “()” which is the result when evaluating "’()" as defined by the earlier clauses. Let the record state in the form of a comment that the judge would like to appeal to the supreme compiler that the concept of precedent/dependency be reinstated in the judiciary process so that every law not be recompiled by hand during every single trial.’
Complimentary joke keyword for sneerful programmers: lex
Define your variable.
‘let mut number : i64;’
No no, define the word variable, its memory layout, and its legal justification of being there.
Wait, what?
‘OK, we’ve accepted “True” to refer to an arbitrary entity denoted as “#t” and “False” to refer to an arbitrary entity denoted as “()” which is the result when evaluating "’()" as defined by the earlier clauses. Let the record state in the form of a comment that the judge would like to appeal to the supreme compiler that the concept of precedent/dependency be reinstated in the judiciary process so that every law not be recompiled by hand during every single trial.’
Complimentary joke keyword for sneerful programmers: lex