/lean_subprocess_test

A small programming demonstrating why Lean's subprocess functionality doesn't seem to work very well.

Primary LanguageLean

No issues in this repository yet.