stan/ecoop2026PresentationJavaTXCalculus
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
15 Commits 2 Branches 0 Tags
main
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
stan 739f84bab0 Add Notes
2026-07-03 21:37:44 +02:00
fonts
Initial commit: JavaTXPresentation with all lualatex dependencies
2026-06-28 20:23:50 +02:00
images
modified: JavaTXPresentation.pdf
2026-06-30 15:38:47 +02:00
.gitignore
gitignore
2026-06-28 20:24:30 +02:00
beamerthemeDHBW.sty
modified: JavaTXPresentation.pdf
2026-06-30 15:38:47 +02:00
JavaTXPresentation.pdf
Fix
2026-07-01 16:30:28 +02:00
JavaTXPresentation.tex
Add Notes
2026-07-03 21:37:44 +02:00
README.md
READEME
2026-06-29 07:59:43 +02:00

README.md

A Variation on Wildcards - Trading Expressiveness for Global Type Inference

Build

  • compile it with lualatex
    • otherwise custom fonts won't work
  • lualatex JavaTXPresentation.tex
Reference in New Issue View Git Blame Copy Permalink
S
Description
No description provided
Readme 15 MiB
Languages
TeX 100%