mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-11-24 12:54:28 +03:00
13 lines
459 B
Plaintext
13 lines
459 B
Plaintext
$ idris2 interp.idr
|
|
____ __ _ ___
|
|
/ _/___/ /____(_)____ |__ \
|
|
/ // __ / ___/ / ___/ __/ / Version 0.1.0
|
|
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
|
|
/___/\__,_/_/ /_/____/ /____/
|
|
|
|
Welcome to Idris 2. Enjoy yourself!
|
|
Main> :exec main
|
|
Enter a number: 6
|
|
720
|
|
|