Fix a couple of the README badges

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.

BSD 3-Clause "New" or "Revised" License

57 stars 2 forks source link

Closed sellout closed 8 months ago

sellout commented 8 months ago

One was outdated and the other just had just been created incorrectly from a template.