yellowsquid/inky.git/src/Inky/Decidable, branch master [no description] http://git.yellowsquid.uk/yellowsquid/inky.git/atom?h=master 2024-11-15T15:44:30Z Add compilation to scheme. 2024-11-15T15:44:30Z Greg Brown greg.brown01@ed.ac.uk 2024-11-15T15:44:30Z urn:sha1:3caa95a139538bb07c74847ca3aba2603a03c502 Extract parser as an independent project. Add more names. Names are good. 2024-11-12T18:05:25Z Greg Brown greg.brown01@ed.ac.uk 2024-11-12T18:05:25Z urn:sha1:6ce6cf4580f2c0ab4c7c4ec56f438c1cc184c7cd Make everything relevant. 2024-10-28T15:34:16Z Greg Brown greg.brown01@ed.ac.uk 2024-10-28T15:34:16Z urn:sha1:e258c78a5ab9529242b4c8fa168eda85430e641e Too few proofs were relevant. Now they are.