add isomorphism/main.rkt

2016-01-05 18:44:55 -05:00 · 2016-01-05 18:44:55 -05:00 · e6b508e438
commit e6b508e438
parent 7173005d50
3 changed files with 5 additions and 4 deletions
--- a/unstable/lens/isomorphism.rkt
+++ b/unstable/lens/isomorphism.rkt
@ -1,4 +1,2 @@
 #lang reprovide
-"isomorphism/base.rkt"
-"isomorphism/compound.rkt"
-"isomorphism/data.rkt"
+"isomorphism/main.rkt"
--- a/unstable/lens/isomorphism/base.rkt
+++ b/unstable/lens/isomorphism/base.rkt
@ -1,4 +1,3 @@
-
 #lang sweet-exp racket/base

 provide isomorphism-lens?
--- a/unstable/lens/isomorphism/main.rkt
+++ b/unstable/lens/isomorphism/main.rkt
@ -0,0 +1,4 @@
+#lang reprovide
+"base.rkt"
+"compound.rkt"
+"data.rkt"