search

DmxLarchey / Breadth-First-Numbering

Coq implementation of Breadth-First Numbering à la Okasaki
Other
0 stars 0 forks source link

very minor corrections #2

Closed rmatthes closed 6 years ago

rmatthes commented 6 years ago

extra comment in bfn_fifo.v that output forest is reversed a little more type info

DmxLarchey commented 6 years ago

I do not think that one is relevant anymore ? Can I close it ?

rmatthes commented 6 years ago

done directly without PR