Kevin Atkinson wrote:
For those of you who may be interested:
I am working on an implementation of Nameable Type Parameters written in
Haskell. I currently have them working in a so called Mini Haskell
where all kind information is presented explicitly. I had a few
unification problems
For those of you who may be interested:
I am working on an implementation of Nameable Type Parameters written in
Haskell. I currently have them working in a so called Mini Haskell
where all kind information is presented explicitly. I had a few
unification problems but I eventually got it all