Comment by rejectedandsad

This is much cooler than I thought it would be and calling it a proof language seems to undersell it. It seems to be more of a general purpose FP language that can compile to multiple backends and supports UI development out of the box (!!)