Skip to content

An empty code generator, to be used as a starting point for any new back ends.

Notifications You must be signed in to change notification settings

idris-lang/idris-emptycg

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Idris Empty Code Generator

This is an code non-generator for Idris. That is, it's a project which builds an idris back end which doesn't actually do anything. You can use this as a starting point for a real back end, by:

  • Forking this repository (with a more descriptive name)
  • Filling out src/IRTS/CodegenEmpty.hs, probably also renaming it
  • Renaming the binary from idris-emptycg to something appropriate for your back end
  • Putting any relevant run time support in rts/

About

An empty code generator, to be used as a starting point for any new back ends.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published