Dependent Type Systems as Macros [pdf] | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Dependent Type Systems as Macros [pdf] (neu.edu)
		17 points by EvgeniyZh on Feb 16, 2020 \| hide \| past \| favorite \| 1 comment

dang on Feb 16, 2020 [–]

A recent thread: https://news.ycombinator.com/item?id=22097000

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact