typed-importer.tex « phase3 « test - felix.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/test/phase3/typed-importer.tex

blob: a1ab3ff1cc338f3b80c0cdbea253ca27b6a046ca (plain)

1
2
3

\import{test/phase3/typed-producer.tex}

% Every ordinary root follows the exact typed production route.