lsts 0.5.23

Large Scale Type Systems
Documentation