#cubicalagda — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cubicalagda, aggregated by home.social.
-
Is anyone going here this weekend? Agda is one of the most innovative game changers in functional programming and theorem proving, given its unique implementation architecture and capabilities. I'd like to meet you there! π🐫λ #CubicalAgda #Rocq #OCaml #Haskell types2026.cse.chalmers.se
TYPES 2026: TYPES 2026