idris-lang/idris2

Created 2/16/2021

Contributors

121

Lines of Code

7,976

From

May 16, 2020

To

Feb 15, 2021

Share this video