User talk:EndreyMark

Hey, is there a way these pages (on combinatory logic, dependent types, and so on) can be categorised? and then be found easily from the front page?

They're not quite 'Idioms', but perhaps we need a new category for 'Theory' or 'Articles'

-- DonStewart