yellowsquid/idris-soat.git/src/Soat/SecondOrder/Algebra, branch refactor/setoids [no description] http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=refactor%2Fsetoids 2022-12-05T14:37:30Z WIP: port to library 2022-12-05T14:37:30Z Greg Brown greg.brown01@ed.ac.uk 2022-12-05T14:37:30Z urn:sha1:e8a5ba7c22c98d32671d02e41960598566bdcc58 Move indexed setoids and functions out of Soat. 2022-11-29T14:36:13Z Greg Brown greg.brown01@ed.ac.uk 2022-11-29T14:36:13Z urn:sha1:b21e69503571272a5f35cf84c731994f3e921a3a Prove the term algebras form an initial algebra. 2022-11-25T16:10:51Z Greg Brown greg.brown01@ed.ac.uk 2022-11-25T16:10:51Z urn:sha1:0b90e50d813a97aa3763e4aa209eaa3561fd401c