[Agda] [TYPES/announce] IAS program wiki

Vladimir Voevodsky vladimir at ias.edu
Thu Aug 30 20:20:24 CEST 2012


[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Hello,

I have created a wiki for the forthcoming special year on Univalent Foundations at IAS. The wiki is in a very rudimentary stage yet but it will eventually get more content. It is here:  uf-ias-2012.wikispaces.com

Vladimir.




More information about the Agda mailing list