1 skills found
Write legal and regulatory rules as executable, type-checked code in L4, a functional programming language for computational law
smucclaw / l4