lsts 0.5.18

Large Scale Type Systems
Documentation