it’s great to hear that avail is alive and kicking! @todd: you have my *deepest* sympathies regarding your loss on the lvm compiler stuff.
as a personal note: avail keeps resurfacing as a possible target language for my own project. currently i want extensible records, which can be implemented in scala, although with a lot of type hackery. (see https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#extensible-records) but i now believe avail’s tuples would be a much better fit to implement extensible records. not yet sure how exactly. one way to know for sure is for me to try it out! cheers and the best wished for 2015. - robbert
