Fi

From CryptoWiki

A high-level smart contract language for Tezos that compiles to Michelson.