How does GHCi respond to fold [] 42?| blog.ielliott.io
I was first clued into this a while ago by a comment on Bob Harper’s blog that “exponentials are coinductive”, but it only really clicked for me today. Let’s get into it.| blog.ielliott.io
Mathematical-logic system based on functions| en.wikipedia.org