🎉 Smithery is now a part of Arcade.dev! Read more in our announcement here
Write legal and regulatory rules as executable, type-checked code in L4, a functional programming language for computational law...