238328 01.01.2013 16:06 144185153135747700744395

Does it support dependently typed monadic type classes with free applicative contravariant subtype functors up to univalent homotopy?

#tizhgs
re 4 comments !recommend ~bookmark Ssubscribe
1. ulidtko 02.01.2013 02:39

че за юнивалентные гомотопии

#tizhgs/1
rereply
2. jabber 02.01.2013 06:28

спроси дедфуда //очередной клон лиспа в худших традициях петушона

#tizhgs/2
rereply
3. ulidtko → jabber /2 02.01.2013 06:28

> традиции петушона

#tizhgs/3
rereply
4. jabber → ulidtko /3 02.01.2013 07:39 Azoth

они самые

#tizhgs/4
rereply
Do you really want to delete ?