FICS
binding
boolean
boxes
circular
cond
cs2613 review
cs4613
data structure
define
definitions
drracket
hash-table
immutable data structures
lists
macros
match
modules
natural numbers
news
pictures
plait
racket
rackunit
recursion
repl
set
slideshow
structure
syntax rule
tail recursion
test coverage
tests
tutorial
unification
unit tests
Lab Tutorial exercises are due at the end of the tutorial whether or not you attend the lab. I will try to make the exercises available before the tutorial.
Tutorials exercises will be graded mechanically, purely on the number of tests passed.
CS4613 Tutorial 6: Unification
CS4613 Tutorial 7: Union Types