feat. a DSL with IDE and FV support that transpiles to English and to code
Most Used Tags
Writes and validates L4 rules for computational law, encoding legal text as executable logic.