Christian Rinderknecht
|
c4182fa6fd
|
I rewrote some comments so [dune build @doc] can extract HTML from
module interfaces.
This is meant as an exercise and an example to all team members.
I fixed a minor shadowing issue in [x_list.ml].
|
2019-12-06 11:49:19 +01:00 |
|
Tom Jack
|
66d2cda107
|
Mini_c: Inlining optimization
|
2019-11-27 09:06:31 -06:00 |
|
Tom Jack
|
a521c01115
|
some michelson optimizations
|
2019-09-25 20:15:19 -05:00 |
|
galfour
|
b619fa1f17
|
further down the road
|
2019-09-18 18:49:33 +02:00 |
|
Georges Dupéron
|
7c8c6515b8
|
move before merging repositories
|
2019-05-27 11:08:26 +02:00 |
|