├── CRAPL-LICENSE.txt ├── README.md ├── idris-emptycg.cabal └── src ├── IRTS └── CodegenEmpty.hs └── Main.hs /CRAPL-LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-lang/idris-emptycg/HEAD/CRAPL-LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-lang/idris-emptycg/HEAD/README.md -------------------------------------------------------------------------------- /idris-emptycg.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-lang/idris-emptycg/HEAD/idris-emptycg.cabal -------------------------------------------------------------------------------- /src/IRTS/CodegenEmpty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-lang/idris-emptycg/HEAD/src/IRTS/CodegenEmpty.hs -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-lang/idris-emptycg/HEAD/src/Main.hs --------------------------------------------------------------------------------