lsts 0.0.25

Large Scale Type Systems
Documentation