smucclaw/l4-ide

L4 - rules-as-code - is an open-source functional programming language for legal contracts and legislation/regulation.