tvl-depot

Author SHA1 Message Date

Author	SHA1	Message	Date
Griffin Smith	e2a3aea451	feat(gs/achilles): Prefix top-level ascriptions with `ty` This makes parsing less ambiguous, which is nice (we can continue to not actually care about indentation!) and aligns nicely with `fn` for the declaration itself. Change-Id: Id48f064e2a1e01c5105297be355d0991b312b76d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2615 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>	2021-03-20 20:20:20 +00:00
Vincent Ambo	b6895a5b30	merge(glittershark/achilles): Subtree import at 'b93268085a' Imported from https://github.com/glittershark/achilles/ git-subtree-dir: users/glittershark/achilles git-subtree-mainline: `4d193f2395` git-subtree-split: `b93268085a` Change-Id: I64a583b454bbe03e20358ad7808939a4cbc212ba	2021-03-15 22:48:27 +02:00

Griffin Smith

e2a3aea451

feat(gs/achilles): Prefix top-level ascriptions with ty

This makes parsing less ambiguous, which is nice (we can continue to not
actually care about indentation!) and aligns nicely with `fn` for the
declaration itself.

Change-Id: Id48f064e2a1e01c5105297be355d0991b312b76d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2615
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>

2021-03-20 20:20:20 +00:00

Vincent Ambo

b6895a5b30

merge(glittershark/achilles): Subtree import at 'b93268085a'

Imported from https://github.com/glittershark/achilles/

git-subtree-dir: users/glittershark/achilles
git-subtree-mainline: 4d193f2395
git-subtree-split: b93268085a
Change-Id: I64a583b454bbe03e20358ad7808939a4cbc212ba

2021-03-15 22:48:27 +02:00

2 commits