Restricted use cases only at the moment
to install the backend
git clone https://github.com/onai/idris-dsl.git
cd idris-dsl.git
cabal install
to run it on file Example.idr use
idris Example.idr --codegen R1CS-DSL -o Example.dsl
idris-dsl
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||