EN 5 Years and $5M Later: Inventing a New Programming Language for Web Development Was a Mistake | Wasp webplt
EN We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase releaseplt