don't worry. be happy.

a view from the Imagined Bridge

The height is about 700 ft.

I've been imagining this bridge near Auburn for about 10 years; yesterday I saw it; it exists.

ibourbaki...

https://sites.google.com/site/ibourbakiorg/project-definition

on the bridge

вопрос, в смысле, помогите

Кто бы посоветовал хороший краткий вводный курс (с задачками) на интернете по двум темам:
- бестиповые лямбды
- "теория типов" (в кавычках, потому что ну краткий курс же)