JUNK
white paper
notes
data (bunches, sequences, lists, sets)
finite maps (behave like data and like funs)
functions have infinite domains but lose computable (in)equality
local definitions (modules will use the same mechanism)
data (bunches, sequences, lists, sets)
finite maps (behave like data and like funs)
functions have infinite domains but lose computable (in)equality
local definitions (modules will use the same mechanism)