Resources

This page contains information about project-related resources. Implementation language for the course is Standard ML. Revision management will be done with CVS. See also the page with handouts.

• Standard ML
• CVS
• LaTeX macros for type-setting deductions (proof.sty)
• Twelf