Jarkko 04.04.2011 20:19 Okami

Кстати, сегодня подумалось поучить хаскель, но не просто хаскель, а со всеми математическими обоснованиями. Собственно, чего почитать по теории категорий, лямбда исчислению и прочей комбинаторной логике, но чтобы мозг не взорвался? Еще спрошу у дискретника и препода по тиграм.

Do you really want to delete ?