Skip to main content

Browse the archive

Revision e8ca47991bb3e1c7532c1338431f93f29b65d518 authored by Raphaël Proust on 13 July 2022, 08:17:18 UTC, committed by Raphaël Proust on 13 July 2022, 08:17:18 UTC 
Merge branch 'raphael-p@dont-unroll-mu-nodes' into 'master'
 
`mu` now avoids the first unrolling

See merge request nomadic-labs/data-encoding!88
2 parent s 8ba4d07 + 2908d88
Raw File
dune-workspace 
(lang dune 1.0)
back to top