About
Hi, I'm Marimuthu Madasamy. This is my personal blog, where I write about programming - with particular focus on Idris, Java, JVM.
Much of my work centers on running functional languages on the JVM, including the Idris JVM backend, which compiles Idris to JVM bytecode. Here I share notes, experiments, and write-ups from those projects, plus whatever else I happen to be exploring along the way.
Contact
You can find me and my projects on GitHub: