lsts 0.5.1

Large Scale Type Systems
Documentation