about summary refs log tree commit diff
path: root/third_party/dhall
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2021-06-16T14·46-0400
committergrfn <grfn@gws.fyi>2021-06-16T14·51+0000
commit99d3a24ac951c166dc2b187e9d355d7d035b0cb9 (patch)
treea806ddd71dda1ebf1a549f333f4bfb664e23c608 /third_party/dhall
parent1a4465d7d3726e61cf95c6455330f779d760f5db (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 'third_party/dhall')
0 files changed, 0 insertions, 0 deletions