There's a couple in this section[0] of the FAQ. I don't know whether it's because I'm too used to using traditional languages, but it does not look at all pleasant to write (IMO). Interesting idea though.

[0]: http://www.availlang.org/about-avail/documentation/faq.html#...