This repository has been archived by the owner on May 15, 2021. It is now read-only.

Name		Name	Last commit message	Last commit date
parent directory ..
examples		examples
lib		lib
project		project
src		src
.gitignore		.gitignore
.scalafmt.conf		.scalafmt.conf
Makefile		Makefile
README.md		README.md
build.sbt		build.sbt
coverage.md		coverage.md
erltc		erltc
parser		parser

README.md

stErlang

stErlang is the type checker for ErlT.

For details, see the Development Guide.