• This repository has been archived on 06/Nov/2020
  • Stars
    star
    25
  • Rank 957,573 (Top 19 %)
  • Language Agda
  • License
    Other
  • Created over 12 years ago
  • Updated over 10 years ago