Submissions from jesper.cx

		1001 Representations of Syntax with Binding (2021) (jesper.cx)
		43 points by 082349872349872 8 months ago \| past \| 17 comments
		Agda Core: The Dream and the Reality (jesper.cx)
		3 points by thunderbong 8 months ago \| past
		1001 Representations of Syntax with Binding (comparison table) (2021) (jesper.cx)
		2 points by todsacerdoti 8 months ago \| past
		Agda Core: The Dream and the Reality (jesper.cx)
		1 point by matt_d 8 months ago \| past
		Reasons in favor of a core language, and 5 against (jesper.cx)
		2 points by todsacerdoti 11 months ago \| past