Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: working
Branches Tags

Commit History

Author SHA1 Message Date
  Andrés Sicard-Ramírez 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' 8 years ago
  Andrés Sicard-Ramírez 3646232e9a [ fixed #2419 ] Removed warnings when using hTags with GHC >= 8.0.1. 8 years ago