https://gitlab.com/nomadic-labs/mi-cho-coq
Revision 3e342150e3ad8d36df68578b1a95b999109e9ea1 authored by Raphaël Cauderlier on 08 July 2019, 16:55:10 UTC, committed by Raphaël Cauderlier on 08 July 2019, 16:55:10 UTC
1 parent 2c21e57
History
Tip revision: 3e342150e3ad8d36df68578b1a95b999109e9ea1 authored by Raphaël Cauderlier on 08 July 2019, 16:55:10 UTC
Re-impose matching self-type with the contract parameter type.
Tip revision: 3e34215
File Mode Size
org-lint-README.el -rw-r--r-- 1.1 KB
org-lint-dummy.el -rw-r--r-- 509 bytes

back to top