lsts 0.5.15

Large Scale Type Systems
Documentation