lsts 0.5.22

Large Scale Type Systems
Documentation