diff --git a/Bookshelf.lean b/Bookshelf.lean index 4cd3a3c..62113ba 100644 --- a/Bookshelf.lean +++ b/Bookshelf.lean @@ -1,3 +1,4 @@ import Bookshelf.Combinator import Bookshelf.List +import Bookshelf.LTuple import Bookshelf.Real