💾 Archived View for oortcloud.flounder.online › junk › index.gmi captured on 2024-03-21 at 14:58:32. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-02-05)

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

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

foundational def'ns

syntax sugars

Scott-style (finite, continuous) approximation