Archived tweet #7776 from the @leastfixedpoint Twitter Archive

@crstry Yeah, a type language having sexps as repr, + mapping to PLs. For @chrisamaphone's purposes, it'd have to have sum types, of course!