diff options
| author | Brian Campbell | 2018-07-17 16:06:27 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-17 16:06:27 +0100 |
| commit | 0c5ff0aa6cd611ab40233b284b0a6054bc27166e (patch) | |
| tree | 480d1d5d071b5b45bc1de59aa95af673b9febe0f /aarch64 | |
| parent | ba4250ac585a247ab71656f57aced6857b98ecea (diff) | |
Coq: support effectful function signatures in axiom generation
Diffstat (limited to 'aarch64')
0 files changed, 0 insertions, 0 deletions