x
Type theory — AI Alignment Forum