WIP CI - Githubissues

jameshaydon / lawvere

A categorical programming language with effects

MIT License

267 stars 5 forks source link

WIP CI #8

Closed jameshaydon closed 3 years ago

pwm commented 3 years ago

Closing in favour of https://github.com/jameshaydon/lawvere/pull/10