tag:blogger.com,1999:blog-1777990983847811806.post6319221858421997722..comments2024-03-16T16:29:29.582-07:00Comments on Haskell for all: Namespaced De Bruijn indicesGabriella Gonzalezhttp://www.blogger.com/profile/01917800488530923694noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-1777990983847811806.post-13409509413161587252021-08-16T11:35:04.192-07:002021-08-16T11:35:04.192-07:00This is really nice, thanks!This is really nice, thanks!Mark Dominushttps://www.blogger.com/profile/17698641253266210249noreply@blogger.comtag:blogger.com,1999:blog-1777990983847811806.post-23503423873603344942021-08-14T13:02:22.953-07:002021-08-14T13:02:22.953-07:00Thank you! I updated the post to acknowledge CINN...Thank you! I updated the post to acknowledge CINNIGabriella Gonzalezhttps://www.blogger.com/profile/01917800488530923694noreply@blogger.comtag:blogger.com,1999:blog-1777990983847811806.post-48012466377046841282021-08-14T07:56:00.692-07:002021-08-14T07:56:00.692-07:00As for prior art, check out the work of Mark-Olive...As for prior art, check out the work of Mark-Oliver Stehr and CINNI from the early 2000's.Todd Wilsonhttps://www.blogger.com/profile/01318080106883071258noreply@blogger.com