suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove fixed

Browse Source
This commit is contained in:
Jay McCarthy 2014-03-19 16:03:41 -06:00
parent ef3ca65c8a
commit ed840e90fa
4 changed files with 0 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt
View File

@ -951,8 +951,3 @@
(set! index (add1 index)) (set! index (add1 index))
(generate-term abort-lang e #:i-th index)))) (generate-term abort-lang e #:i-th index))))
(define fixed
(term
(;; 1, 2 & 3 [designed for 1]
(ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num)
)))

5
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt
View File

@ -949,8 +949,3 @@
(set! index (add1 index)) (set! index (add1 index))
(generate-term abort-lang e #:i-th index)))) (generate-term abort-lang e #:i-th index))))
(define fixed
(term
(;; 1, 2 & 3 [designed for 1]
(ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num)
)))

5
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
View File

@ -949,8 +949,3 @@
(set! index (add1 index)) (set! index (add1 index))
(generate-term abort-lang e #:i-th index)))) (generate-term abort-lang e #:i-th index))))
(define fixed
(term
(;; 1, 2 & 3 [designed for 1]
(ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num)
)))

5
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt
View File

@ -946,8 +946,3 @@
(set! index (add1 index)) (set! index (add1 index))
(generate-term abort-lang e #:i-th index)))) (generate-term abort-lang e #:i-th index))))
(define fixed
(term
(;; 1, 2 & 3 [designed for 1]
(ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num)
)))