v2.0 [Nov 30, 2011]
- Minor bug fix related to missing default font (target time setting)
This app is designed to calculate necessary disk space for video editors.
An app to help students practice derivations in the typed lambda calculus.
