depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2021-05-08	r/2574 feat(tvix/proto): Add evaluator communication proto	Vincent Ambo	3	-0/+174
	This adds the proto messages and service definition used for communicating with our evaluator. Please refer to the `Tvix - Component interaction` document for a detailed description of the interactions that this service is used for. Change-Id: If44cdbff66c6cfe88c22a748fe29c0bbd8510b0d Co-Authored-By: Florian Klink <flokli@flokli.de> Co-Authored-By: Adam Höse <adisbladis@gmail.com> Reviewed-on: https://cl.tvl.fyi/c/depot/+/2685 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: grfn <grfn@gws.fyi>
2021-04-24	r/2548 docs(tvix): Begin specification of the Nix language	Vincent Ambo	1	-0/+78
	This is only the introductory text, without any of the components specified so far. Change-Id: I6cd8eff6ec2daf14cc2420ee0a8e8983bfaa57d9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3052 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-31	r/2379 chore(tvix): Make docs multi output	adisbladis	1	-0/+7
	We also want to access the produced SVGs separately. Change-Id: I5bdfd95b8a56323ed8bf5f4585b703f6e728c677 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2742 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-31	r/2378 chore(tvix/docs): move from doc	Florian Klink	5	-0/+0
	Most other docs folders in the repo are called `doc` too, let's make this consistent. Change-Id: Icd712429b51763076548c977321e370f2a77877e Reviewed-on: https://cl.tvl.fyi/c/depot/+/2741 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-31	r/2377 docs(tvix/components): Editing pass	Vincent Ambo	1	-19/+63
	* general editing * reflowed text to fit on my screen :p Change-Id: I1ae41ef5524d3174d063c66a7bcb990808424bdb Reviewed-on: https://cl.tvl.fyi/c/depot/+/2716 Tested-by: BuildkiteCI Reviewed-by: adisbladis <adisbladis@gmail.com>
2021-03-31	r/2372 chore(tvix): Add doc build infrastructure	adisbladis	3	-0/+53
	Change-Id: I2cf67df085d0c008b5ff5efff2235a670207024a Reviewed-on: https://cl.tvl.fyi/c/depot/+/2711 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: tazjin <mail@tazj.in>
2021-03-31	r/2371 docs(tvix): Add components doc	adisbladis	2	-0/+144
	Change-Id: I53856bf98c5c2057f95e9c9af5f07c16ced55e0f Reviewed-on: https://cl.tvl.fyi/c/depot/+/2712 Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-03-27	r/2348 chore(tvix): Bootstrap Tvix folder	Vincent Ambo	3	-0/+699
	Change-Id: Ib4d4736c48a31510660b2861aabb9b7ef1320209 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2684 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>