kind programming language

Stream: new members

[Huỳnh Trần Khanh]

someone on the USACO (Unofficial) server tagged me to tell me about that language. what do you think of it? obviously not as mature as lean lol

I'm in class rn and can't really audit the code myself

https://github.com/uwu-tech/Kind

[Horatiu Cheval]

When looking at its syntax, it looks like a kind of a mix between a proof assistant and a traditional imperative language, though I don't if my assessment is right. Which would be interesting, I always wanted to see more dependent types in imperative languages