Archived tweet #3865 from the @leastfixedpoint Twitter Archive

What is a good tool for rapid exploration of object-capability designs? ... straight λ-calculus seems a bit raw. Are ppl using Coq for this?