Revision c81ffcaf04f7d5108bec9d499f3f46d8d72e423e authored by Matthieu Sozeau on 08 August 2018, 10:19:20 UTC, committed by GitHub on 08 August 2018, 10:19:20 UTC
Weak call-by-value evaluation definition
| File | Mode | Size |
|---|---|---|
| checker | ||
| extraction | ||
| html | ||
| template-coq | ||
| test-suite | ||
| translations | ||
| .gitignore | -rw-r--r-- | 3.5 KB |
| .travis.yml | -rw-r--r-- | 947 bytes |
| LICENSE | -rw-r--r-- | 1.2 KB |
| Makefile | -rw-r--r-- | 984 bytes |
| README.md | -rw-r--r-- | 6.9 KB |
| movefiles.sh | -rwxr-xr-x | 326 bytes |
Computing file changes ...
