lsts 0.5.27

Large Scale Type Systems
Documentation