Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coq
No related branches found
No related tags found
Checking pipeline status
Showing
- .gitlab-ci.yml 1 addition, 0 deletions.gitlab-ci.yml
- theories/lang/spawn.v 1 addition, 1 deletiontheories/lang/spawn.v
- theories/typing/function.v 7 additions, 7 deletionstheories/typing/function.v
- theories/typing/own.v 61 additions, 23 deletionstheories/typing/own.v
- theories/typing/sum.v 1 addition, 0 deletionstheories/typing/sum.v
- theories/typing/type.v 2 additions, 32 deletionstheories/typing/type.v
- theories/typing/unsafe/spawn.v 3 additions, 4 deletionstheories/typing/unsafe/spawn.v
Loading
Please register or sign in to comment