lsts 0.5.28

Large Scale Type Systems
Documentation