Skip to content

joe9/idris-9front-backend

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

What

Attempt at a native C backend for Idris on 9front without a VM, GC or runtime.

Example

on linux:

TMPDIR=/tmp/ghc stack exec idris -- hello.idr --codegenonly --codegen 9frontc --output hello.c

on 9front:

8c -Fvw hello.c

Why?

It would be nice to have purity, pattern matching and memory safety.

About

Native 9front C backend for Idris

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published