Paper supplements #
Import Papers.<PaperId>.Main to use a particular supplement.
The Lake Papers.* glob builds all paper modules without requiring an import here.
Import Papers.<PaperId>.Main to use a particular supplement.
The Lake Papers.* glob builds all paper modules without requiring an import here.