lsts 0.5.16

Large Scale Type Systems
Documentation