lsts 0.6.30

Large Scale Type Systems
Documentation
1
2
3
4
5
# Contributing

Any and all contributions to LSTS are dutifully appreciated. All submissions are assumed to grant permission to use under the [permissive MIT license](https://github.com/andrew-johnson-4/LSTS/blob/main/LICENSE).

To see open problems, see the [issue tracker](https://github.com/andrew-johnson-4/LSTS/issues). For suggestions or questions, open a new issue.