anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Fixup calling the binary with no input commands #142

Closed mariari closed 1 year ago

mariari commented 1 year ago

Before it would error on input type of input, now it asks to give a -i or a -h