lsts 0.5.25

Large Scale Type Systems
Documentation