User talk:EndreyMark
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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