Badge

 Student Asked first question with score of 1 or more.

ashy_32bit earned this badge

dec 10 at 14:53
This is a try at implementing integers in Idris. Any advice or comments are most welcome.

Others with this badge