The Lowly Mathematician

So- Apparently I have no idea what I’m talking about when it comes to scheme-style quoting in haskell. Augustss Says you can’t do it because of- well, some reason beyond my comprehension. He’s a smart guy, so I’m inclined to believe him. However, I still think that what I proved in my last post holds- if not for quoting in haskell, then for quoting in scheme. The operations are still the same, dequote is just eval, quote is ‘. In any case, my goal wasn’t to really come up with some fantastic new insight into haskell, it was mostly just something I hacked on in my spare time- and thought might interest others. In any case, like I said, Augustss knows what he’s talking about, so take the last post with a grain of salt.