In the dependent CoS notes, came up with dependent type construction rules, but got stuck trying to construct values of those types.
In the dependent CoS notes, came up with dependent type construction rules, but got stuck trying to construct values of those types.

rocketnia/era,rocketnia/era,rocketnia/era-cene,era-platform/cene,rocketnia/era-cene,rocketnia/era-cene,rocketnia/era,era-platform/cene,era-platform/cene