-- Leo's gemini proxy
-- Connecting to oortcloud.flounder.online:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini; charset=utf-8
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)
-- Response ended
-- Page fetched on Mon May 13 12:17:05 2024