1
1
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-30 15:13:37 +03:00
Idris2/docs/source/listing/idris-prompt-interp.txt

12 lines
341 B
Plaintext
Raw Normal View History

2020-05-20 13:23:04 +03:00
$ idris2 interp.idr
____ __ _ ___
/ _/___/ /____(_)____ |__ \
2021-06-23 18:15:21 +03:00
/ // __ / ___/ / ___/ __/ / Version 0.4.0
2020-05-20 13:23:04 +03:00
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help
Welcome to Idris 2. Enjoy yourself!
Main> :exec main
Enter a number: 6
720