{"head":"e07f5fe6d9ffb96f6dc443fd686b942f28b16d86","size":15,"push_id":45707974,"shas":[["128d4232a1f0dee7abb9a4577570ecc0b33174ff","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","two new ops adding neutral elements to list","KungD"],["93c2a8638209b2bd0be3b67debb6060454153544","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","test fixes and new ops","KungD"],["3a197a3e0b91ba17b28d7327766c9929d5bf3d00","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","test typecheck helper","KungD"],["843ee703848f3b364c1e9eb77b2c3512f68955fe","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","fraction ops start","KungD"],["a81c86d21e046003d06327bad5d729bd8325b0fb","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","selection api improvements, and more ops","KungD"],["2c978218ed1c9e4aa574fde84640e3119ece45c9","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","absorbation ops","KungD"],["2f381a47c08bad229dcf24f442c416184e39cef4","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","addition foundation","KungD"],["4f9f04f74928472d933fb6e22c7509b702d2458e","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","helper refactoring and addition work","KungD"],["75992dcf753c38b93e163044fb05d7b20b619e2a","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","helper refactoring and addition work","KungD"],["ab8d683215e9432f6deb631cd1601bed070c942e","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","new op","KungD"],["d745ffd934886d39716b74d3a483986c0d62d323","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","more ops work","KungD"],["94b3bfef1b56a223714b09318c8f22366b9cb869","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","new op","KungD"],["d3372487beef91bec81a7fb4bf6e547ac26ef11a","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","more ops","KungD"],["cfd6ad8837e4b0f32845d88463bc363837779323","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","op helpers","KungD"],["e07f5fe6d9ffb96f6dc443fd686b942f28b16d86","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@krawaller.se","ops work","KungD"]],"ref":"refs/heads/gh-pages"}