├── .gitignore ├── LICENSE.txt ├── README.md ├── avc.cabal ├── cabal.project ├── nix-shell └── src ├── exe └── Main.hs ├── langs ├── MoreCore.hs └── SimpleCore.hs └── lib ├── Control └── Termination.hs ├── Data ├── Ap.hs ├── Fix.hs ├── Fix │ ├── List.hs │ └── Rose.hs └── TagBag.hs └── Language └── Impl.hsig /.gitignore: -------------------------------------------------------------------------------- 1 | /dist* 2 | /.ghc.* 3 | -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/README.md -------------------------------------------------------------------------------- /avc.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/avc.cabal -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | with-compiler: ghc-8.6.5 2 | 3 | packages: 4 | ./ 5 | -------------------------------------------------------------------------------- /nix-shell: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/nix-shell -------------------------------------------------------------------------------- /src/exe/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/exe/Main.hs -------------------------------------------------------------------------------- /src/langs/MoreCore.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/langs/MoreCore.hs -------------------------------------------------------------------------------- /src/langs/SimpleCore.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/langs/SimpleCore.hs -------------------------------------------------------------------------------- /src/lib/Control/Termination.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/lib/Control/Termination.hs -------------------------------------------------------------------------------- /src/lib/Data/Ap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/lib/Data/Ap.hs -------------------------------------------------------------------------------- /src/lib/Data/Fix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/lib/Data/Fix.hs -------------------------------------------------------------------------------- /src/lib/Data/Fix/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/lib/Data/Fix/List.hs -------------------------------------------------------------------------------- /src/lib/Data/Fix/Rose.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/lib/Data/Fix/Rose.hs -------------------------------------------------------------------------------- /src/lib/Data/TagBag.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/lib/Data/TagBag.hs -------------------------------------------------------------------------------- /src/lib/Language/Impl.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thoughtpolice/asc/HEAD/src/lib/Language/Impl.hsig --------------------------------------------------------------------------------