https://gitlab.com/nomadic-labs/mi-cho-coq
Revision ae11043bc3b0e9b2529be9038f44ee6b5c070aa4 authored by Raphaël Cauderlier on 04 December 2019, 14:19:10 UTC, committed by Raphaël Cauderlier on 18 April 2020, 11:49:22 UTC
1 parent 5b40d03
History
Tip revision: ae11043bc3b0e9b2529be9038f44ee6b5c070aa4 authored by Raphaël Cauderlier on 04 December 2019, 14:19:10 UTC
[Michocoq] Remove contract literals
Tip revision: ae11043

back to top