Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Hi, I'm trying to understand a codebase that relies on type family to do some type level check. I'm a beginner in Haskel but I have some background with dependent types. There is a package called "Data.Type.Known" in the codebase. Is it correct to assume that it's used for dependent types ? I don't find the doc for it, I only find things about KnowNat on Google (which seems to inject nat values to types)
I'm not finding Data.Type.Known - could you link to it?
err nvm it was in the source code apparently
actually my question is a bit different now, will rephrase it in another topic