Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

idris is developed by humans, for humans. idris will not be doing an agda, lean or rocq

https://github.com/idris-lang/Idris2/pull/3755