lsts 0.5.8

Large Scale Type Systems
Documentation