github.com/idris-lang/idris2

Repository visualization

Contributors

121

Lines of Code

7,976

From

2020-05-16

To

2021-02-15

Share this video