Refactoring the type system : every type gets its own file. Some trivial ones...
Refactoring the type system : every type gets its own file. Some trivial ones are defined somewhere else where it make the most sense.
Showing
- _CoqProject 10 additions, 2 deletions_CoqProject
- theories/lifetime/na_borrow.v 0 additions, 0 deletionstheories/lifetime/na_borrow.v
- theories/typing/bool.v 24 additions, 0 deletionstheories/typing/bool.v
- theories/typing/function.v 121 additions, 0 deletionstheories/typing/function.v
- theories/typing/int.v 54 additions, 0 deletionstheories/typing/int.v
- theories/typing/own.v 154 additions, 0 deletionstheories/typing/own.v
- theories/typing/perm.v 113 additions, 17 deletionstheories/typing/perm.v
- theories/typing/product.v 188 additions, 0 deletionstheories/typing/product.v
- theories/typing/product_split.v 18 additions, 174 deletionstheories/typing/product_split.v
- theories/typing/shr_bor.v 116 additions, 0 deletionstheories/typing/shr_bor.v
- theories/typing/sum.v 160 additions, 0 deletionstheories/typing/sum.v
- theories/typing/type.v 77 additions, 452 deletionstheories/typing/type.v
- theories/typing/type_incl.v 5 additions, 222 deletionstheories/typing/type_incl.v
- theories/typing/typing.v 1 addition, 311 deletionstheories/typing/typing.v
- theories/typing/uniq_bor.v 189 additions, 0 deletionstheories/typing/uniq_bor.v
Loading
Please register or sign in to comment