24 lines
353 B
YAML
24 lines
353 B
YAML
id: "idris"
|
|
aliases:
|
|
- "idr"
|
|
- "idris2"
|
|
name: "Idris"
|
|
|
|
repl: |
|
|
rm -f .idris/repl/init; idris2
|
|
|
|
main: "Main.idr"
|
|
template: |
|
|
module Main
|
|
|
|
main : IO ()
|
|
main = putStrLn "Hello, world!"
|
|
|
|
run: |
|
|
mkdir -p .idris/repl; echo ':exec main' > .idris/repl/init; idris2 Main.idr -x main; idris2 Main.idr
|
|
|
|
scope:
|
|
code: |
|
|
x : Int
|
|
x = 123 * 234
|