Zulip Chat Archive

Stream: new members

Topic: kind programming language

view this post on Zulip Huỳnh Trần Khanh (Apr 15 2021 at 03:05):

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


view this post on Zulip Horatiu Cheval (Apr 15 2021 at 05:22):

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

Last updated: May 11 2021 at 00:31 UTC