A ready-to-fork interpreted functional language with type inference - View it on GitHub