search

HigherOrderCO / Kind

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

Add: Documentation #588

Open SergioBonatto opened 1 month ago

SergioBonatto commented 1 month ago

Increment of the README.md and addition of documentation for the other files

VictorTaelin commented 3 weeks ago

can you update?

SergioBonatto commented 3 weeks ago

can you update?

yeah, sure!