lsts 0.5.19

Large Scale Type Systems
Documentation