- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
integers =: adverb def 'i.u'
5 integers
0 1 2 3 4
plus =: adverb def '(}:u) + {:u'
2 3 plus
5
1 2 3 1 plus
2 3 4
inc =: adverb def '(u , 1) plus'
5 inc
6
5 integers inc
1 2 3 4 5
factorial =: integers inc product
0 factorial
1
7 factorial
5040