Idris stream

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Idris 2 is available! - https://github.com/edwinb/Idris2