100644 blob 6ab7c9f31e16aba1d66ed45432f224e3d3fa8da6	FFI.hsc
100644 blob 528d3fa4f9dd3e672e6a11c77655daf384d770be	Makefile
100644 blob 4bd108f4e04c9d88e21099f8c7408c79dceab543	Search.cogent
100644 blob bf91c3ce3b816f77e04a9c74fea05512c7325ca1	Search.hs
100644 blob 559b6e364a974db0e8626e5f75fcbae0e162a299	Search_Shallow_Desugar.hs
100644 blob 86f731425126127dfc7449693b6404650beb645a	Util.hs
100644 blob 0e27d4403f3a614e55dd7d71481517f742000bca	entrypoints.cfg
100644 blob 25f9d4661b9553d283d5af8f2465fe48910aade5	main.ac
040000 tree 2f96134a2616cb29a9d8a300487d112feac38468	plat
100644 blob e69de29bb2d1d6434b8b29ae775ad8c2e48c5391	types.cfg