TypeCheckerRS

A static code analysis tool designed specifically for conducting information flow analysis on a subset of ReScript.

More info to be added.

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
.vscode		.vscode
tests		tests
.gitignore		.gitignore
AbSyn.fs		AbSyn.fs
LICENSE		LICENSE
Lexer.fs		Lexer.fs
Program.fs		Program.fs
README.md		README.md
TypeCheck.fs		TypeCheck.fs
TypeCheckerRS.fsproj		TypeCheckerRS.fsproj
TypeEnv.fs		TypeEnv.fs
TypeInference.fs		TypeInference.fs

Provide feedback