A simple FRP library and a web UI framework built on it