File tree
463 files changed
+926
-463
lines changed- tests
- allbackends
- basic048
- evaluator004
- evaluator005
- perf006
- base
- control_app001
- data_bits001
- system_errno
- system_file001
- system_info001
- system_info_os001
- system_signal001
- system_signal002
- system_signal003
- system_signal004
- system_system
- chez
- bitops
- casts
- channels001
- channels002
- channels003
- channels004
- channels005
- chez001
- chez002
- chez003
- chez005
- chez006
- chez007
- chez008
- chez009
- chez011
- chez012
- chez014
- chez015
- chez016
- chez020
- chez021
- chez024
- chez025
- chez027
- chez028
- chez029
- chez030
- chez031
- chez032
- chez033
- integers
- newints
- perf001
- reg001
- contrib/json_001
- ideMode
- ideMode001
- ideMode002
- ideMode003
- ideMode004
- ideMode005
- idris2
- basic001
- basic002
- basic003
- basic004
- basic005
- basic006
- basic007
- basic008
- basic009
- basic010
- basic011
- basic012
- basic013
- basic014
- basic015
- basic016
- basic017
- basic018
- basic019
- basic020
- basic021
- basic022
- basic023
- basic024
- basic025
- basic026
- basic027
- basic028
- basic029
- basic030
- basic031
- basic032
- basic033
- basic034
- basic035
- basic036
- basic037
- basic038
- basic039
- basic040
- basic041
- basic042
- basic043
- basic044
- basic045
- basic046
- basic047
- basic049
- basic050
- basic051
- basic052
- basic053
- basic054
- basic055
- basic056
- basic057
- basic058
- basic059
- basic060
- basic061
- builtin001
- builtin002
- builtin003
- builtin004
- builtin005
- builtin006
- builtin007
- builtin008
- builtin009
- builtin010
- builtin011
- casetree001
- coverage001
- coverage002
- coverage003
- coverage004
- coverage005
- coverage006
- coverage007
- coverage008
- coverage009
- coverage010
- coverage011
- coverage012
- coverage013
- coverage014
- coverage015
- coverage016
- coverage017
- data001
- docs001
- docs002
- docs003
- error001
- error002
- error003
- error004
- error005
- error006
- error007
- error008
- error009
- error010
- error011
- error013
- error014
- error015
- error016
- error017
- error018
- error019
- eta001
- evaluator001
- evaluator002
- evaluator003
- golden001
- import001
- import002
- import003
- import004
- import005
- interactive001
- interactive002
- interactive003
- interactive004
- interactive005
- interactive006
- interactive007
- interactive008
- interactive009
- interactive010
- interactive011
- interactive012
- interactive013
- interactive014
- interactive015
- interactive016
- interactive017
- interactive018
- interactive019
- interactive020
- interactive021
- interactive022
- interactive023
- interactive024
- interactive025
- interactive026
- interactive027
- interactive028
- interactive029
- interactive030
- interactive031
- interactive032
- interactive033
- interactive034
- interactive035
- interactive036
- interface001
- interface002
- interface003
- interface004
- interface005
- interface006
- interface007
- interface008
- interface009
- interface010
- interface011
- interface012
- interface013
- interface014
- interface015
- interface016
- interface017
- interface018
- interface019
- interface020
- interface021
- interface022
- interface023
- interface024
- interface025
- interface026
- interface027
- interpreter002
- interpreter005
- lazy001
- lazy002
- linear001
- linear002
- linear003
- linear004
- linear005
- linear006
- linear007
- linear008
- linear009
- linear010
- linear011
- linear012
- linear013
- literate001
- literate002
- literate003
- literate004
- literate005
- literate006
- literate007
- literate008
- literate009
- literate010
- literate011
- literate012
- literate013
- literate014
- literate015
- literate016
- namespace001
- params001
- params002
- params003
- perf001
- perf002
- perf003
- perf004
- perf005
- perf007
- perf008
- perror001
- perror002
- perror003
- perror004
- perror005
- perror006
- perror007
- perror008
- pkg001
- pkg002
- pkg004
- pkg005
- pkg006
- positivity001
- positivity002
- positivity003
- positivity004
- pretty001
- real001
- real002
- record001
- record002
- record003
- record004
- record005
- record006
- record007
- record008
- record009
- reflection001
- reflection002
- reflection003
- reflection004
- reflection005
- reflection006
- reflection007
- reflection008
- reflection009
- reg001
- reg002
- reg003
- reg004
- reg005
- reg006
- reg007
- reg008
- reg009
- reg010
- reg011
- reg012
- reg013
- reg014
- reg015
- reg016
- reg017
- reg018
- reg019
- reg020
- reg021
- reg022
- reg023
- reg024
- reg025
- reg026
- reg027
- reg028
- reg029
- reg030
- reg031
- reg032
- reg033
- reg034
- reg035
- reg036
- reg037
- reg038
- reg039
- reg040
- reg041
- reg042
- reg043
- reg044
- total001
- total002
- total003
- total004
- total005
- total006
- total007
- total008
- total009
- total010
- warning001
- with001
- with002
- with003
- with004
- with005
- node
- args
- bitops
- casts
- idiom001
- integers
- newints
- node001
- node002
- node003
- node005
- node006
- node007
- node008
- node009
- node011
- node012
- node014
- node015
- node019
- node020
- node021
- node022
- node023
- node024
- node025
- perf001
- reg001
- syntax001
- tailrec001
- prelude/reg001
- refc
- args
- buffer
- clock
- doubles
- integers
- refc001
- refc002
- strings
- templates
- simple-test
- ttimp
- with-ipkg
- ttimp
- basic001
- basic002
- basic003
- basic004
- basic005
- basic006
- coverage001
- coverage002
- dot001
- eta001
- eta002
- lazy001
- nest001
- nest002
- perf001
- perf002
- perf003
- qtt001
- qtt003
- record001
- record002
- record003
- total001
- total002
- total003
- typedd-book
- chapter01
- chapter02
- chapter03
- chapter04
- chapter05
- chapter06
- chapter07
- chapter08
- chapter09
- chapter10
- chapter11
- chapter12
- chapter13
- chapter14
- vmcode/basic001
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
463 files changed
+926
-463
lines changedLines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
4 | 6 |
| |
5 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
4 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
12 | 14 |
| |
13 | 15 |
| |
14 | 16 |
| |
15 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
9 | 11 |
| |
10 | 12 |
| |
11 | 13 |
| |
12 |
| - | |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
9 | 11 |
| |
10 | 12 |
| |
11 | 13 |
| |
12 |
| - | |
|
0 commit comments