Lamcalcj 1.4.0

• Switch to SBT

Lamcalcj 1.3.3

• Fix size delta and depth delta calculation for beta reducer

Lamcalcj 1.3.2

• Add interruptible trampoline
• Add interruptible beta reducer and eta converter

Lamcalcj 1.3.1

• Fix nested eta redex not converted

Lamcalcj 1.3.0

• Add clone identifier to utilities
• Add size peak and depth peak to beta reducer and eta converter

Lamcalcj 1.2.0

• Add optional max size and max depth limitation for beta reducer and eta converter

Lamcalcj 1.1.2

• Fix term with different shape crash alpha equivalent checking

Lamcalcj 1.1.1

• Add closed term checking utility

Lamcalcj 1.1.0

• Add optional max step for beta reducer and eta converter
• Add term size and depth statistics

Lamcalcj 1.0.0

• First release