Package slime.checks

Class Summary
Typecheck Type checker for Slime programs
Wellformed checking well-formedness for Slime programs
 

Exception Summary
CheckException Generic exception for the check class.