lsts 0.5.11

Large Scale Type Systems
Documentation