Hi, i am another CS student that would like to apply. Where can i read about the liquid haskell project?
I am using idris2 and liquid haskell to build exercises to help fellow students on my automata and proofs class
Thank you very much. So i dont have to understand the liquid haskell internals to improve it with this project besides for writing tests? That sounds like a dream since i would like to contribute and solidify my understanding of the tool anyways