https://github.com/arthuraa/memory-safe-language
Tip revision: 1a32e879b93b5e9d6fc97100464c8432faece72d authored by Arthur Azevedo de Amorim on 27 September 2021, 16:04:02 UTC
Figured out how to call ocaml in the deriving build.
Figured out how to call ocaml in the deriving build.
Tip revision: 1a32e87
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 70 bytes |
| Makefile | -rw-r--r-- | 963 bytes |
| README.org | -rw-r--r-- | 1.7 KB |
| _CoqProject | -rw-r--r-- | 125 bytes |
| basic.v | -rw-r--r-- | 24.4 KB |
| cast.v | -rw-r--r-- | 9.8 KB |
| properties.v | -rw-r--r-- | 6.6 KB |
| separation.v | -rw-r--r-- | 7.8 KB |
| shell.nix | -rw-r--r-- | 1.5 KB |
| structured.v | -rw-r--r-- | 21.9 KB |
