https://github.com/yutopp/eir
Static optional type checker for tylang.
https://github.com/yutopp/eir
Last synced: about 2 months ago
JSON representation
Static optional type checker for tylang.
- Host: GitHub
- URL: https://github.com/yutopp/eir
- Owner: yutopp
- Created: 2017-06-11T14:40:57.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2017-06-25T16:11:32.000Z (almost 8 years ago)
- Last Synced: 2025-01-20T10:49:04.380Z (4 months ago)
- Language: OCaml
- Homepage:
- Size: 2.93 KB
- Stars: 1
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# EIR
**WORK IN PROGRESS**
EIR is a static optional type checker for BEAM files which are compiled by [tylang](https://github.com/yutopp/tylang).
It aims to analyze type discrepancy faster than [Dialyzer](http://erlang.org/doc/man/dialyzer.html). It will also alleviate processing resources used when type checking.
## How to install
### Development
```
opam pin add eir --kind path .
```
## How to use
*WIP*
## License
This software is licensed under the [Boost Software License](http://www.boost.org/LICENSE_1_0.txt).