Idris to 9front C translator

Translate Idris (http://idris-lang.org/) programs to 9front native C programs.

Name		Name	Last commit message	Last commit date
Latest commit History 8,273 Commits
app		app
src		src
test/input		test/input
.gitattributes		.gitattributes
.gitignore		.gitignore
.stylish-haskell.yaml		.stylish-haskell.yaml
.travis.yml		.travis.yml
CHANGELOG.md		CHANGELOG.md
CITATION.md		CITATION.md
CONTRIBUTING.md		CONTRIBUTING.md
CONTRIBUTORS		CONTRIBUTORS
HLint.hs		HLint.hs
INSTALL.md		INSTALL.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
RELEASE-CHECKS.md		RELEASE-CHECKS.md
Setup.hs		Setup.hs
appveyor.yml		appveyor.yml
config.mk		config.mk
custom.mk-alldeps		custom.mk-alldeps
example.c		example.c
idris-to-9frontc.cabal		idris-to-9frontc.cabal
mkpkg.sh		mkpkg.sh
stack-shell.nix		stack-shell.nix
stack.yaml		stack.yaml
stylize.sh		stylize.sh
win-release.sh		win-release.sh

Provide feedback