Closed prabhu closed 8 months ago
Also added wartremover to gradually make this codebase a fully-functional style and provable statically.
Also added wartremover to gradually make this codebase a fully-functional style and provable statically.