idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 02:23:44 +03:00
Code Issues Projects Releases Wiki Activity

Update version numbers and bootstrap code

Browse Source
This commit is contained in:
Edwin Brady 2021-01-13 12:46:06 +00:00
parent 3621c5d1bd
commit b35268b774
7 changed files with 17470 additions and 16429 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
INSTALL.md
View File

@ -69,7 +69,7 @@ If all is well, to install, type:
### 3: Installing with an existing Idris 2
If you have an earlier version of Idris 2 installed
If you have an earlier version of Idris 2 (minimum version 0.2.2) installed:
- `make all`
- `make install`

4
Makefile
View File

@ -9,8 +9,8 @@ TARGETDIR = build/exec
TARGET = ${TARGETDIR}/${NAME}
MAJOR=0
MINOR=2
PATCH=1
MINOR=3
PATCH=0
GIT_SHA1=

16941
bootstrap/idris2_app/idris2.rkt
View File

File diff suppressed because one or more lines are too long

16946
bootstrap/idris2_app/idris2.ss
View File

File diff suppressed because one or more lines are too long

2
docs/source/listing/idris-prompt-helloworld.txt
View File

@ -1,7 +1,7 @@
$ idris hello.idr
____ __ _ ___
/ _/___/ /____(_)____ |__ \
/ // __ / ___/ / ___/ __/ / Version 0.2.1
/ // __ / ___/ / ___/ __/ / Version 0.3.0
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help

2
docs/source/listing/idris-prompt-interp.txt
View File

@ -1,7 +1,7 @@
$ idris2 interp.idr
____ __ _ ___
/ _/___/ /____(_)____ |__ \
/ // __ / ___/ / ___/ __/ / Version 0.2.1
/ // __ / ___/ / ___/ __/ / Version 0.3.0
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help

2
docs/source/listing/idris-prompt-start.txt
View File

@ -1,7 +1,7 @@
$ idris2
____ __ _ ___
/ _/___/ /____(_)____ |__ \
/ // __ / ___/ / ___/ __/ / Version 0.2.1
/ // __ / ___/ / ___/ __/ / Version 0.3.0
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help