• This repository has been archived on 25/Sep/2022
  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language Idris
  • Created over 6 years ago
  • Updated over 4 years ago