TypeTheory icon indicating copy to clipboard operation
TypeTheory copied to clipboard

Provide export wrapper file

Open peterlefanulumsdaine opened this issue 8 years ago • 1 comments

Provide a summary file which re-exports the whole library (or perhaps individual packages?), for easier wholesale importing by others.

peterlefanulumsdaine avatar Oct 04 '16 16:10 peterlefanulumsdaine

This is best left to the people who want to use the library; they should write their wrapper, since only they know their needs.

benediktahrens avatar Oct 05 '16 16:10 benediktahrens