2004-07-16 02:26:21 -04:00
|
|
|
IN: scratchpad
|
|
|
|
|
USE: combinators
|
|
|
|
|
USE: kernel
|
2004-09-24 23:22:44 -04:00
|
|
|
USE: math
|
2004-07-16 02:26:21 -04:00
|
|
|
USE: stack
|
|
|
|
|
USE: test
|
|
|
|
|
|
2004-08-04 03:12:55 -04:00
|
|
|
[ ] [ 3 [ ] cond ] unit-test
|
|
|
|
|
[ t ] [ 4 [ [ 1 = ] [ ] [ 4 = ] [ drop t ] [ 2 = ] [ ] ] cond ] unit-test
|
2004-09-24 23:22:44 -04:00
|
|
|
|
|
|
|
|
[ 0 1 2 3 4 ] [ 5 [ ] times* ] unit-test
|
|
|
|
|
[ ] [ 0 [ ] times* ] unit-test
|
|
|
|
|
|
|
|
|
|
[ #{ 1 1 } ] [ #{ 2 3 } #{ 1 0 } 2times-succ ] unit-test
|
|
|
|
|
[ #{ 1 2 } ] [ #{ 2 3 } #{ 1 1 } 2times-succ ] unit-test
|
|
|
|
|
[ #{ 2 0 } ] [ #{ 3 3 } #{ 1 2 } 2times-succ ] unit-test
|
|
|
|
|
[ #{ 2 1 } ] [ #{ 3 3 } #{ 2 0 } 2times-succ ] unit-test
|
|
|
|
|
[ #{ 2 0 } ] [ #{ 2 2 } #{ 1 1 } 2times-succ ] unit-test
|
|
|
|
|
|
|
|
|
|
[ #{ 0 0 } #{ 0 1 } #{ 1 0 } #{ 1 1 } ]
|
|
|
|
|
[ #{ 2 2 } [ ] 2times* ] unit-test
|
|
|
|
|
|
|
|
|
|
[ #{ 0 0 } #{ 0 1 } #{ 0 2 } #{ 1 0 } #{ 1 1 } #{ 1 2 }
|
|
|
|
|
#{ 2 0 } #{ 2 1 } #{ 2 2 } ]
|
|
|
|
|
[ #{ 3 3 } [ ] 2times* ] unit-test
|
