leastfixedpoint

Archived tweet #8193 from the @leastfixedpoint Twitter Archive
@mpweiher @coreload At its heart it needs primitive eqp: github.com/robertpfeiffer… tho can build above this kernel.