Pascal Voitot[Experimental] Compiling Scala into Closed Cartesian Categories language using ScalaFix rewriterThe idea in this post is to experiment about compiling Scala code into the internal language of Closed Cartesian Categories “CCC” (as…Nov 13, 2017Nov 13, 2017