GitHub - IanANGrant/metaprogramming: Automatically exported from code.google.com/p/metaprogramming

IanANGrant / metaprogramming Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Automatically exported from code.google.com/p/metaprogramming

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
AbstractAtype.sml		AbstractAtype.sml
AbstractBind.sml		AbstractBind.sml
AbstractExp.sml		AbstractExp.sml
AbstractInduction.sml		AbstractInduction.sml
AbstractInfixop.sml		AbstractInfixop.sml
AbstractPat.sml		AbstractPat.sml
AbstractRepr.sml		AbstractRepr.sml
AbstractRepr2.sml		AbstractRepr2.sml
AbstractReprRepr.sml		AbstractReprRepr.sml
AbstractStr.sml		AbstractStr.sml
Barendregt.sml		Barendregt.sml
BoundVariables.sml		BoundVariables.sml
CompileModules.sml		CompileModules.sml
Constructor.sml		Constructor.sml
Deconstructor.sml		Deconstructor.sml
FreeVariables.sml		FreeVariables.sml
Induction.sml		Induction.sml
Induction2.sml		Induction2.sml
MapJoinSemantics.sml		MapJoinSemantics.sml
Matcher.sml		Matcher.sml
OccursCheck.sml		OccursCheck.sml
Parser.sig		Parser.sig
Parser.sml		Parser.sml
Parser2.sig		Parser2.sig
Parser2.sml		Parser2.sml
ParserModule.sml		ParserModule.sml
ParserMonad.sig		ParserMonad.sig
ParserMonad.sml		ParserMonad.sml
ParserTerminals.sig		ParserTerminals.sig
ParserTerminals.sml		ParserTerminals.sml
ProtoParser.sml		ProtoParser.sml
README		README
ReprEmbedding.sml		ReprEmbedding.sml
ReprEmbedding2.sml		ReprEmbedding2.sml
ReprPrinter.sml		ReprPrinter.sml
ReprPrinters.sml		ReprPrinters.sml
SemanticParserModule.sml		SemanticParserModule.sml
SemanticParserModule2.sml		SemanticParserModule2.sml
Semantics.sml		Semantics.sml
SimpleSubs.sml		SimpleSubs.sml
StringPrinter.sml		StringPrinter.sml
SubsConvention.sml		SubsConvention.sml
SubsSemantics.sml		SubsSemantics.sml
Substitute.sml		Substitute.sml
Syntax.sml		Syntax.sml
SystemF.sig		SystemF.sig
SystemF.sml		SystemF.sml
TerminalParsers.sig		TerminalParsers.sig
TerminalParsers.sml		TerminalParsers.sml
TextFile.sig		TextFile.sig
TextFile.sml		TextFile.sml
TypeCheck.sml		TypeCheck.sml
TypeCheckSemantics.sml		TypeCheckSemantics.sml
UTF8.sig		UTF8.sig
UTF8.sml		UTF8.sml
Unification.sml		Unification.sml
Unifier.sml		Unifier.sml
UnifySemantics.sml		UnifySemantics.sml
Unit.sml		Unit.sml
Variables.sml		Variables.sml
exampleA.sml		exampleA.sml
exampleB.sml		exampleB.sml
generic_datatypes.sml		generic_datatypes.sml
grammar-left.txt		grammar-left.txt
grammar.txt		grammar.txt
grammar2.txt		grammar2.txt
test.sml		test.sml

Repository files navigation

(* To compile modules, paste the following into the Moscow ML toplevel prompt: *) 

use "CompileModules.sml";
rebuild();

(* There are examples in exampleA.sml and exampleB.sml, to run them, type e.g. *)

use "exampleA.sml";