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

Commit History

Author SHA1 Message Date
  Ulf Norell 13b4136a06 [ primitive ] removed unused IRRAXIOM builtin 9 years ago
  andreas.abel f4c1461c62 Big overhaul of internal representation of irrelevant subterms. 13 years ago
  Andreas Abel ff579a9427 Distinguish between relevant and irrelevant metas. 13 years ago
  Andreas Abel b688107786 Irrelevant record projections now use irrelevance axiom. 13 years ago