Giters

MaboroshiChan / mzi-dev

A Dependently Typed Functional Programming Language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

You need Java 15 to setup this project.

About

A Dependently Typed Functional Programming Language

License:Apache License 2.0

Languages

Language:Java 93.8%Language:Kotlin 3.0%Language:ANTLR 2.2%Language:Groovy 1.0%