gds 20.03.2013 17:25 umodni6D8A23E3

Зарелизил мелкую библиотечку для отладки редукций выражений в пределах coq: https://bitbucket.org/gds/coq-breakpoint...

coq, cs, fp
Recommended by: @kb
#tsszng
re 6 comments !recommend ~bookmark Ssubscribe
1. ygrek 20.03.2013 17:28 kiwi

это успех, кро

#tsszng/1
rereply
2. clayrat 20.03.2013 19:28

а чо не на гитхабе? немодный штоли?

#tsszng/2
rereply
3. gds → clayrat /2 20.03.2013 19:32

кто не модный — гитхаб не модный, ёпта блядь! меркуриал мне запили!

#tsszng/3
rereply
4. ulidtko → gds /3 20.03.2013 20:07

гитхаб модный.

#tsszng/4
rereply
5. gds → ulidtko /4 20.03.2013 20:51

а, ну если _в этом_ смысле — тогда да, я ошибся.

#tsszng/5
rereply
6. kb → ulidtko /4 20.03.2013 21:12

s/модный/мейнстрим/

#tsszng/6
rereply
Do you really want to delete ?