What happened to the blog posts?

HigherOrderCO / Kind

A modern proof language

https://higherorderco.com

MIT License

3.58k stars 142 forks source link

Closed L-as closed 1 year ago

developedby commented 1 year ago

You mean these https://github.com/HigherOrderCO/Kind1/tree/master/blog ? We moved the repository for the old version of Kind there

rigille commented 1 year ago

@algebraic-sofia I think it's safe to close this one