mihama 0.0.1

A Modern Functional and Dependent Type Programming Language Base on Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

{
  "name": "mihama",
  "description": "A Modern Functional and Dependent Type Programming Language Base on Rust",
  "version": "0.0.1",
  "keywords": [
    "functional",
    "dependent-type",
    "language",
    "type-theory",
    "parser"
  ],
  "type": "module",
  "files": [
    "LICENSE"
  ],
  "author": "Arimura Sena <me@hotaru.icu>",
  "devDependencies": {},
  "dependencies": {},
  "bugs": {
    "url": "https://github.com/biyuehu/mihama/issues"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/biyuehu/mihama.git"
  },
  "scripts": {}
}