Patrick Stevens 5228096621 Working prototype of unused-reference remover

2020-01-04 21:33:26 +00:00

..

AdjacencyList.fs

Working prototype of unused-reference remover

2020-01-04 21:33:26 +00:00

AgdaCompiler.fs

First working prototype of the library

2019-12-24 11:03:23 +00:00

AgdaFile.fs

Working prototype of unused-reference remover

2020-01-04 21:33:26 +00:00

AgdaUnusedOpens.fsproj

Working prototype of unused-reference remover

2020-01-04 21:33:26 +00:00

AssemblyInfo.fs

Initial commit of the bones of an unused-open-removing Agda tool

2019-12-24 09:35:06 +00:00

Graph.fs

Working prototype of unused-reference remover

2020-01-04 21:33:26 +00:00

OpenStatement.fs

Working prototype of unused-reference remover

2020-01-04 21:33:26 +00:00

Seq.fs

Initial commit of the bones of an unused-open-removing Agda tool

2019-12-24 09:35:06 +00:00

Types.fs

Working prototype of unused-reference remover

2020-01-04 21:33:26 +00:00