tag:blogger.com,1999:blog-8068466035875589791.post5589020978312605880..comments2024-03-26T00:37:39.585-07:00Comments on Semantic Domain: Two Drafts on Dependent TypesNeel Krishnaswamihttp://www.blogger.com/profile/06853898957395028131noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-8068466035875589791.post-41279253458658001812014-07-10T01:39:22.296-07:002014-07-10T01:39:22.296-07:00Hi A., I've fixed the links -- thanks for lett...Hi A., I've fixed the links -- thanks for letting me know. Neel Krishnaswamihttps://www.blogger.com/profile/06853898957395028131noreply@blogger.comtag:blogger.com,1999:blog-8068466035875589791.post-74333869960975578422014-07-09T14:57:12.643-07:002014-07-09T14:57:12.643-07:00Hi Neel,
The first two links seem broken.Hi Neel,<br /><br />The first two links seem broken.A.https://www.blogger.com/profile/03954463506974679294noreply@blogger.com