GitHub - nrnrnr/SML-Lint: Tool for detecting bad style in Standard ML programs

nrnrnr / SML-Lint Public

Tool for detecting bad style in Standard ML programs

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 65 Commits
ElabData		ElabData
Elaborator		Elaborator
Parse		Parse
.gitignore		.gitignore
infixes.sml		infixes.sml
lint		lint
lint.cm		lint.cm
lint.sml		lint.sml
mkfile		mkfile
precedence.sml		precedence.sml
report.sig		report.sig
report.sml		report.sml
smlnj-home		smlnj-home
top.sml		top.sml