Experiments of web development in Idris