lsts 0.5.10

Large Scale Type Systems
Documentation