docs

Dec 5, 2023

a43e647 · Dec 5, 2023

Name	Name	Last commit message	Last commit date
parent directory ..
benchmarks	benchmarks	Criterion benchmarks for `113cefe`	Dec 5, 2023
coverage	coverage	2016 10	Nov 25, 2023
css	css	Superfluous lambda???	Sep 17, 2016
haddock	haddock	Regenerate all docs	Dec 4, 2023
images	images	Move docs structure	Sep 17, 2016
index.html	index.html	Update the site documentation	Nov 30, 2021

Provide feedback