GitHub - chenyan2002/iML

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 56 Commits
basis		basis
doc		doc
elab		elab
eval		eval
exec		exec
fix		fix
iflow		iflow
infrastructure		infrastructure
lib		lib
main		main
parse		parse
sh		sh
smlnj-lib		smlnj-lib
syntax		syntax
test		test
.gitignore		.gitignore
CHANGES.txt		CHANGES.txt
INSTALL.txt		INSTALL.txt
LICENSE.txt		LICENSE.txt
Makefile		Makefile
README.txt		README.txt
hamlet.1		hamlet.1
hamlet.sml		hamlet.sml
make.bat		make.bat
sources.cm		sources.cm
test.sml		test.sml

Repository files navigation

iML sources (c) 2012 Yan Chen.

All HaMLet sources (c) 1999-2007 Andreas Rossberg.

Please see INSTALL.txt for brief instructions and the doc directory for
the full documentation. See LICENSE.txt for licensing information.