• This repository has been archived on 19/Nov/2023
  • Stars
    star
    27
  • Rank 905,827 (Top 18 %)
  • Language Agda
  • Created about 11 years ago
  • Updated over 8 years ago