Dependently-typed reactive programming language for non-programmers