Skip to content

Latest commit

 

History

History
25 lines (16 loc) · 703 Bytes

README.md

File metadata and controls

25 lines (16 loc) · 703 Bytes

Idris Empty Code Generator

https://eb.host.cs.st-andrews.ac.uk/drafts/compile-idris.pdf

build:

stack build

stack install (which should put idris-codegen-sdecl in path)

idris  --codegen sdecl  , you should see output simplified decls

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/Main.hs, fill the codegenJs function,useful info is at bottom
  • Renaming the binary from idris-emptycg to something appropriate for your back end