search

HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.55k stars 141 forks source link

Minor README.md fix #584

Closed ubarbaxor closed 2 months ago

ubarbaxor commented 5 months ago

Fix typo - repetition of "first" in readme.