diff options
| author | Griffin Smith <grfn@gws.fyi> | 2021-06-16T14·46-0400 |
|---|---|---|
| committer | grfn <grfn@gws.fyi> | 2021-06-16T14·51+0000 |
| commit | 99d3a24ac951c166dc2b187e9d355d7d035b0cb9 (patch) | |
| tree | a806ddd71dda1ebf1a549f333f4bfb664e23c608 /fun/gemma/frontend | |
| parent | 1a4465d7d3726e61cf95c6455330f779d760f5db (diff) | |
feat(gs/home): Install a bunch of new latex packages r/2666
I'm typesetting a type system! `semantic` is the big winner here, but also `mathpartir` is nice Change-Id: I27ee91d30e0fe680377ce48f7539553fd0707684 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3212 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'fun/gemma/frontend')
0 files changed, 0 insertions, 0 deletions