I think I know my plans for summer’s vacation 1 atbildes

	Ingars Jekabsons (2019-12-30 17:36:08) @twitter	I think I know my plans for summer’s vacation
	Ingars Jekabsons (2019-12-30 17:38:33) @twitter	@monadic_waw If I would need to guess, I think his workshops will be related somehow to Agda