News for hackers. Stuff that matters.

A comment on The Little Typer – The Beauty of Dependent Type Systems, One Step at a Time. Parent comment

Re:The Little Typer – The Beauty of Dependent Type Systems, ... by mcguire on Tuesday October 11, 2022 @01:37PM (#33166283)
Higher Order Type Theory.

No idea beyond that.

[ Parent | on HN ]

There are no comments on this comment yet.