yellowsquid/idris-soat.git/src/Soat/SecondOrder/Algebra/Lift, branch feature/free-extension
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=feature%2Ffree-extension
2022-12-07T13:51:26Z
refactor: move initial algebra to new module.
2022-12-07T13:51:26Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-07T13:51:26Z
urn:sha1:46371da9060ffea1ad48024e4447fb6b20f39d68