Formalizing Konnakol using Haskell @ GSoC '22 Aravind Mohandas Aravind Mohandas Aravind Mohandas Follow Jun 10 '22 Formalizing Konnakol using Haskell @ GSoC '22 #gsoc #tidalcycles #haskell 4 reactions Add Comment 2 min read