# JUNK

## white paper

=> whitepaper.gmi Quick Overview of JUNK

## notes

data (bunches, sequences, lists, sets)
=> 0data.gmi
finite maps (behave like data and like funs)
=> 1finmaps.gmi
functions have infinite domains but lose computable (in)equality
=> 2funs.gmi	 
local definitions (modules will use the same mechanism)
=> 3locals.gmi

## ancillary

=> Afoundations.gmi foundational def'ns
=> Bsugar.gmi syntax sugars
=> Capprox.gmi Scott-style (finite, continuous) approximation