To Do
Definitions
Index
Code
Lecture Notes
Chapters 1-N
Lab Manual
Labs 1-N
Problem sets
Chapters 1-N
Rewrite
Preface
Intro Chapter (models of computation, Definition style)
Semantics Chapter
Domains Chapter
add type inference rules
In process
Logic Programming
Finished
© 1996 by
A. Aaby