FHELang is a coming-soon programming language for writing fully homomorphic encryption computations. It supports plaintext and encrypted numeric and boolean types, multi-dimensional arrays, familiar constructs such as functions, loops, conditionals, and arrays, and POLYCIRCUIT components including ReLU and sign functions.