:load "Specifiers.idr"
:exec main
:set eval execute
main
