![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
- 1st
- 12:35 am
Новые образовательные технологии
- 47 comments
Tags:
- 4th
- 05:32 pm
Brutal [Meta]Introduction to Dependent Types in Agda
- 2 comments
Tags:
- 15th
- 11:10 pm
Немножко про всякие равенства
- 5 comments
Tags:
- 20th
- 11:30 am
Как ударять христианина?
- 8 comments
Tags:
- 25th
- 09:08 pm
Нищета и беспомощность просто типизированной лямбды
- 11 comments
Tags:- fp,
- fprog,
- haskell,
- lambda calculus,
- stt
Reload page in style: light