namespace latin:/❚ fixmeta ur:?LF❚ view PropositionsAsTypes : ?Logic → ?TypedTerms = prop = tp❙ ded = tm❙ ❚ view TypesAsPropositionsAs : ?TypedTerms → ?Logic = tp = prop❙ tm = ded❙ ❚