kind2 0.3.10

A pure functional functional language that uses the HVM.