• Stars
    star
    76
  • Rank 420,374 (Top 9 %)
  • Language Agda
  • Created almost 10 years ago
  • Updated over 8 years ago