NLNT Types

Custom static types for NLNT codebase

Setup and Usage

In order to use this package, please use this to install:

pip install git+https://github.com/ucl-nlnt/nlnt_types

It can be then used in your code likewise

from nlnt_types import DatalogType

Collaboration

1. Simply update the code base in nlnt_types/__init__.py
2. Update the version in setup.py
3. Publish changes to this repo