From 4e154f1dbb718d45c358c3065b20a4bbbc834534 Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Wed, 8 Jul 2015 10:10:49 -0700 Subject: [PATCH] Add car/cdr lens contracts --- lens/list/car-cdr.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/lens/list/car-cdr.rkt b/lens/list/car-cdr.rkt index 91d6495..4016316 100644 --- a/lens/list/car-cdr.rkt +++ b/lens/list/car-cdr.rkt @@ -1,6 +1,8 @@ -#lang racket/base +#lang racket -(provide car-lens cdr-lens) +(provide + (contract-out [car-lens lens?] + [cdr-lens lens?])) (require "../base/main.rkt")