proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation) - #88

proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)#88

hyperpolymath merged 16 commits into

mainhyperpolymath/system-et:mainfrom

claude/systemet-wager-cubical-agda-nqsiffhyperpolymath/system-et:claude/systemet-wager-cubical-agda-nqsiffCopy head branch name to clipboard