x
Type theory - History — AI Alignment Forum