-
- Downloads
Typechecked lazy lifetime initialization. Also, switched from eauto to...
Typechecked lazy lifetime initialization. Also, switched from eauto to typeclasses eauto, which seems way less bugged (but I still found something strange...).
Showing
- _CoqProject 1 addition, 0 deletions_CoqProject
- theories/typing/bool.v 1 addition, 1 deletiontheories/typing/bool.v
- theories/typing/int.v 4 additions, 4 deletionstheories/typing/int.v
- theories/typing/lft_contexts.v 6 additions, 4 deletionstheories/typing/lft_contexts.v
- theories/typing/product_split.v 16 additions, 23 deletionstheories/typing/product_split.v
- theories/typing/tests/init_prod.v 1 addition, 1 deletiontheories/typing/tests/init_prod.v
- theories/typing/tests/unwrap_or.v 1 addition, 1 deletiontheories/typing/tests/unwrap_or.v
- theories/typing/type.v 1 addition, 0 deletionstheories/typing/type.v
- theories/typing/type_context.v 15 additions, 22 deletionstheories/typing/type_context.v
- theories/typing/uninit.v 21 additions, 8 deletionstheories/typing/uninit.v
- theories/typing/unsafe/cell.v 1 addition, 1 deletiontheories/typing/unsafe/cell.v
Loading
Please register or sign in to comment