search

bennn / require-typed-scv

Typed Racket's `require/typed`, with soft contract verification
Other
1 stars 0 forks source link

Add continuous integration #8

Open bennn opened 7 years ago

bennn commented 7 years ago

Add a .travis.yml, see what philnguyen/soft-contract did about getting z3