summaryrefslogtreecommitdiff
path: root/backends/coq
diff options
context:
space:
mode:
authorSon Ho2022-12-02 01:13:08 +0100
committerSon HO2023-02-03 11:21:46 +0100
commitf001e68a591750c9e7265cb331fd42cfadefa05d (patch)
treedc9e6d439d9fbcc96ceccac91cdc4816fc19937b /backends/coq
parent43163a5abc4e79d66f517a473e5ee9c4c3410622 (diff)
Remove the APrimitive variant from the avalues
Diffstat (limited to 'backends/coq')
0 files changed, 0 insertions, 0 deletions