Much better code for 3 lazy-lists FIFOS - Githubissues

DmxLarchey / Breadth-First-Numbering

Coq implementation of Breadth-First Numbering à la Okasaki

Other

0 stars 0 forks source link

Much better code for 3 lazy-lists FIFOS #16

Open DmxLarchey opened 5 years ago

DmxLarchey commented 5 years ago

Could even consider updating BFE with it !!