b
infer-applicative
public
2 stars
0 forks
0 issues
Commits
List of commits on branch main.Unverified
3b339397129a96e6c2cafffd692eb61fcb270163iterated-box-free type predicate
bbyorgey committed 4 months ago
Unverified
355bf5dd0661f6f201da1737314edc5943dbc920clean up indexed one-level types
bbyorgey committed 4 months ago
Unverified
e6a9c2a011b3370a7db22dbf969dcbefffe29c25indexed one-level types
bbyorgey committed 4 months ago
Unverified
1413feedfd9838e51f35f334fef3ce6b661fcce3one-level types
bbyorgey committed 8 months ago
Unverified
a1983ab28bddadfe539ed955e0782fbce7bb5231bit more work on subtyping proof normalization
bbyorgey committed 8 months ago
Unverified
1e9e227577cd303065c12978d347b33f26e22fd5work on subtyping proof normalization
bbyorgey committed 8 months ago