# linlog

A linear logic suite for all your needs.