Discussions

• 1 You must be logged in to vote

  🙏

  how does cooltt decide the eta-law for disjunction?

  trey3p asked Nov 2, 2024 in Q&A · Unanswered

  

  

  0
• 4 You must be logged in to vote

  🙏

  What is the relationship between extension types, cubical subtypes, and cofibration splits in cooltt?

  mmcqd asked Mar 20, 2022 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  📢

  Changed master branch to main

  jonsterling announced Jun 8, 2021 in Announcement

  

  

  2
• 3 You must be logged in to vote

  🙏

  Architectural Changes & Example Programs

  rdck asked Mar 18, 2021 in Q&A · Answered

  

  

  

  

  8