0.0.5

clean up the the elaboration of the free skew field

0.0.4

definition of an inferrable language through semigroup monoid

0.0.3

Theorem of addition

0.0.2

proof of correctness and complexity

0.0.1

First pass through notes on other projects to form the paper.