search

informalsystems / themis-contract

A command line-based parameterized contracting tool
Apache License 2.0
46 stars 5 forks source link

Fix installation from source #76

Closed shonfeder closed 4 years ago

shonfeder commented 4 years ago

Closes #74

thanethomson commented 4 years ago

LGTM 👍