RedPRL cooltt Q A · Discussions · GitHub

Sort by: Latest activity

Categories

Q&A Discussions

Ask the community for help

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
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
You must be logged in to vote

Architectural Changes & Example Programs

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

8