Closed dglmoore closed 7 years ago
This pull request brings in a particular implementation of Biehl, Ikagami and Polani's evidence of integration (see #31 for reference). We decided to deviate from the API described in #31 to make it a bit more general.
This closed #31
This pull request brings in a particular implementation of Biehl, Ikagami and Polani's evidence of integration (see #31 for reference). We decided to deviate from the API described in #31 to make it a bit more general.
This closed #31