leastfixedpoint

Archived tweet #5940 from the @leastfixedpoint Twitter Archive
@crstry I've looked at L4 before (incl reading code) but haven't found a good architectural description of the whole system. Any pointers?