Estos programas podrían estar en archivos `.wlk`, así aprovechamos el IDE para escribirlos :P _Originally posted by @PalumboN in https://github.com/uqbar-project/wollok-web-tools/pull/13#discussion_r1791156894_