Getting Started
Docs
Packages
Blog

English
English Français Português (Brasil) 中文
Discord
Twitter
Facebook
GitHub

Package detail

mihama

biyuehu170.0.1

A Modern Functional and Dependent Type Programming Language Base on Rust

functional, dependent-type, language, type-theory

readme

no readme found 😢

Use it

$ yarn add mihama

Try in RunKit · Browse Files

Popularity

Downloads last 30 days: 17

Activity

Commits last 3 months: 0
Last commit: over a year ago

Usage

Dependencies: 0
DevDependencies: 0
Packages: see package.json

Versions

April 6, 2025: 0.0.1

Contributors

biyuehu

Yarn Distributed under BSD License Code of Conduct

Edit this page