tag:blogger.com,1999:blog-4650294074444534066.post8277363035802655493..comments2024-03-13T03:49:34.330-07:00Comments on Typed Logic: Realized Constants are Comonadicgeophfhttp://www.blogger.com/profile/09936874508556500234noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-4650294074444534066.post-59048324514088609332021-01-26T22:09:19.673-08:002021-01-26T22:09:19.673-08:00What an insight! Thank you!What an insight! Thank you!torthttps://www.blogger.com/profile/04893884006273778406noreply@blogger.com