idris-lang/idris-emptycg

Name: idris-emptycg

Owner: idris-lang

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

Created: 2015-03-03 17:19:59.0

Updated: 2018-05-09 19:38:46.0

Pushed: 2017-11-02 19:03:41.0

Homepage: null

Size: 144

Language: Haskell

GitHub Committers

User	Most Recent Commit	# Commits

Other Committers

User	Email	Most Recent Commit	# Commits

README

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/