Does anyone know of companies that use PLT/fancy types that aren't in the Fintech, Blockchain, or defense industries? I'm trying to make a list of PLT in industry, and it seems that most things are in those fields, but there must be more.
22
28
128
Conversation
Replying to
Not sure if it counts, but we use Mercury and Rust at YesLogic to make Prince, a CSS+HTML to PDF layout engine. We're also working on a dependently typed binary data description language for parsing complex formats like OpenType.