profile
viewpoint

MaboroshiChan/mzi-dev

A Dependently Typed Functional Programming Language

https://github.com/MaboroshiChan/mzi-dev

MaboroshiChan

viewpoint

Express your opinions freely and help others including your future self

contributors (According to the first 100)

ice1000
imkiva
re-xyr
Glavo
tonyxty