Haskellians,<br><br>i feel like i'm chasing a rabbit down the rabbit hole, but here goes. i'm currently redoing my implementation of an evaluator for a reflective process calculus, using Haskell instead of OCaml, this time. i thought i'd give a James Cheney's FreshLib a whirl to
<br><ul><li>test out the state of the nominal machinery in Haskell</li><li>see if the nominal stuff works, practically, with my reflective account of nominal machinery</li></ul>i've discovered that FreshLib makes essential use of a early version of generic Haskell features. i need to bone up on generic Haskell, quickly. i've got the papers. i need to see what's being released and supported in the mainstream Haskell codebase. Is there documentation for this, or should i grovel source?
<br><br>Best wishes,<br><br>--greg<br><br>-- <br>L.G. Meredith<br>Managing Partner<br>Biosimilarity LLC<br>505 N 72nd St<br>Seattle, WA 98103<br><br>+1 206.650.3740<br><br><a href="http://biosimilarity.blogspot.com">http://biosimilarity.blogspot.com