This is an implementation of a term assignement to intuitionistic linear logic (ILL). See the following reference for the logical definition:
https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/bbdph92.pdf
The biggest goal of this project is to make this implementation as modular as possible to allow for easy extensions/modifications in the future.