Talk:Programming language theory with Twelf

From The Twelf Project

Jump to: navigation, search

Hey Todd! Writing Twelf code for all of this material and assembling it into one coherent story is a great idea! Have you taught a course along these lines with Twelf (or are you going to?)? Or is it just for fun? Drl 14:22, 3 July 2008 (EDT)

Retrieved from "http://twelf.org/wiki/Talk:Programming_language_theory_with_Twelf"
Personal tools