jacobstanley/idris-vba
Visual Basic for Applications (VBA) backend for Idris
Happy Haskell programming on Emacs
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Visual Basic for Applications (VBA) backend for Idris
ANF -> JVM byte-code / .class files
Playing around with F# adhoc polymorphism
Messing around with making a more F# style Orleans interface