leastfixedpoint

Archived tweet #8117 from the @leastfixedpoint Twitter Archive
@arntzenius A "tractatus" language might be a logical language -- Curry Howard etc. PLs as-we-know them. 1/2