hazel

基于类型理论的实时函数式编程环境，支持带类型空洞的结构化编辑与在线试用。