First off, thanks very much for this repo & catgrad, they're great!
Should it be of interest, I put together a Rust reimplementation of open-hypergraphs to lean on the type system & compiler in helping me understand the code. It's close to feature complete (a few more tests needed), includes proptest for property-based testing similar to hypothesis, and currently supports 2 array backends: one using the standard library's Vec and one based on ndarray.
Again, this project was mostly me using the compiler to understand open hypergraphs better (e.g. all Python assert statements become explicit Result types encoding possible failures, etc.), so feel free to ignore it. Thanks again!
First off, thanks very much for this repo &
catgrad, they're great!Should it be of interest, I put together a Rust reimplementation of
open-hypergraphsto lean on the type system & compiler in helping me understand the code. It's close to feature complete (a few more tests needed), includesproptestfor property-based testing similar tohypothesis, and currently supports 2 array backends: one using the standard library'sVecand one based onndarray.Again, this project was mostly me using the compiler to understand open hypergraphs better (e.g. all Python
assertstatements become explicitResulttypes encoding possible failures, etc.), so feel free to ignore it. Thanks again!