WORK IN PROGRESS
EIR is a static optional type checker for BEAM files which are compiled by tylang.
It aims to analyze type discrepancy faster than Dialyzer. It will also alleviate processing resources used when type checking.
opam pin add eir --kind path .
WIP
This software is licensed under the Boost Software License.