Siddharth

icon indicating a website link pixel-druid.com icon indicating an email [email protected]

icon company University of Cambridge icon location Cambridge icon location mathematics ⋂ computation

Results 126 comments of Siddharth

`TopM.get` always succeeds if dominance check passes

@goens May I merge this?

Full coinductive ITrees (Coitree)

LGTM, thanks!

feat: getLsb_sshiftRight

awaiting-review

feat: getLsb_sshiftRight

awaiting-review

feat: getLsb_sshiftRight

awaiting-review

feat: getLsb_sshiftRight

@semorrison I've cleaned up the proof, thanks a lot for your detailed stylistic comments.

feat: getLsb_sshiftRight

awaiting-review

feat: getLsb_{rotateLeft, rotateRight}

awaiting-review

feat: getLsb_{rotateLeft, rotateRight}

@semorrison all comments addressed.

feat: fat static libraries with all transitive dependencies

awaiting-review