• Stars
    star
    40
  • Rank 680,660 (Top 14 %)
  • Language Agda
  • License
    MIT License
  • Created over 7 years ago
  • Updated about 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details