mina mina is a minimum viable functional programming language for the JVM. The project has migrated to Codeberg.