From b66ab0bfcdd8d0ca5ef3126009dfa6790f137a52 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Thu, 22 Oct 2020 16:45:05 -0400 Subject: [PATCH] add some list ops --- racket/typed/list.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/racket/typed/list.rkt b/racket/typed/list.rkt index 3291225..c6edf6b 100644 --- a/racket/typed/list.rkt +++ b/racket/typed/list.rkt @@ -13,7 +13,9 @@ [[partition- (∀ (X) (→fn (List X) (→fn X Bool) (List X)))] partition] [[map- (∀ (X Y) (→fn (→fn X Y) (List X) (List Y)))] map] [[argmax- : (∀ (X) (→fn (→fn X Int) (List X) X))] argmax] - [[argmin- : (∀ (X) (→fn (→fn X Int) (List X) X))] argmin])) + [[argmin- : (∀ (X) (→fn (→fn X Int) (List X) X))] argmin] + [[remove- : (∀ (X) (→fn X (List X) (List X)))] remove] + [[length- : (∀ (X) (→fn (List X) Int))] length])) (require "core-types.rkt") (require (only-in "prim.rkt" Bool Int))