Branches

• lean

  844f22f4 · final · Dec 10, 2019
• old-lean

  2fbaa134 · final commit before full conversion to agda · Jan 30, 2020
• pinned

  9ca07a5f · last commit before major revision of arity type · Feb 11, 2020
• nat-arity

  deb5a9ea · major progress · Feb 13, 2020
• reformulated

  e4878db6 · Changing files to uppercase names · Feb 20, 2020
• 3-obs-0-composing-homs-gives-a-hom

  7009e306 · add file specifying we use stdlib · Feb 21, 2020
• siva

  fbdfb47f · fixing subuniv stuff · Apr 25, 2020
• newwill

  0a0b9bc2 · converted from lagda.rst to lagda · Jun 27, 2020
• will

  217d7625 · dk · Jun 27, 2020
• dev

  5678363c · still not working, but closer · Nov 14, 2020
• latest

  c70b4f0d · reorg · Jan 11, 2021
• eqv

  7af5576f · new development with equivalences instead of general relations · Feb 02, 2021
• master default protected

  4033fc70 · minor improvements · Mar 16, 2021
  ualib/ualib.gitlab.io!14