💾 Archived View for oortcloud.flounder.online › junk captured on 2024-08-31 at 11:15:44. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

JUNK

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)