Hi Epigrammers,
I'm going to start teaching my Honours Functional programming course
fairly soon. I'm currently toying with the idea of using epigram to
teach programming with dependent types. Does anyone have experience
teaching with epigram? Are there obvious places (other than http://
www.e-pig.org/) I should look for notes, examples etc?
The students I will be teaching are final year undergrads. Due to the
peculiarities of the NZ system our Honours classes are very small and
only contain very good students. Consequently they are a good group
to experiment on :-)
Cheers,
Neil
Dr Neil Leslie
Director, Centre for Logic, Language and Computation
Victoria University
P. O. Box 600
Wellington Tel +64 4 463 6732
New Zealand mailto:[EMAIL PROTECTED]
The information in this e-mail message is confidential and may also
be privileged. If you are not the intended recipient, please notify
the sender immediately and destroy any copies of this e-mail.
