Skip to main content

Browse the archive

Revision 48f957f81690c5179f625fdecc8ef324afe36740 authored by Raphaël Cauderlier on 20 November 2019, 08:13:43 UTC, committed by Raphaël Cauderlier on 25 November 2019, 10:23:25 UTC 
Printer: simplify Michelson -> Micheline and the Micheline printer
1 parent 474723b
Raw File
mi-cho-coq.install 
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top