Fix deflenses
This commit is contained in:
parent
60c0c9d753
commit
636d7751bd
|
@ -1,7 +1,7 @@
|
|||
#lang racket
|
||||
|
||||
(require scribble/manual
|
||||
(for-label lenses))
|
||||
(for-label lens))
|
||||
|
||||
(provide deflens
|
||||
deflenses)
|
||||
|
|
Loading…
Reference in New Issue
Block a user