leastfixedpoint

Archived tweet #10714 from the @leastfixedpoint Twitter Archive
@noelwelsh Yes, that's right -- looks like Dhall is based on newer theoretical work though, hal.inria.fr/hal-01445835