• Stars
    star
    36
  • Rank 735,472 (Top 15 %)
  • Language Agda
  • License
    BSD 3-Clause "New...
  • Created almost 12 years ago
  • Updated over 5 years ago