yellowsquid/idris-soat.git/src/Data/List, branch refactor/strict
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=refactor%2Fstrict
2022-12-06T13:33:06Z
refactor: rename Soat.Data -> Data.
2022-12-06T13:33:06Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-06T13:33:06Z
urn:sha1:1e64c562ad58d0fb264a11f11bc32b9311e728c4