Archived tweet #10718 from the @leastfixedpoint Twitter Archive

@milessabin @noelwelsh That's for encoding partiality when you have a total language to hand, though, I think? Rather than for designing a total language to start with.