Currently a command is defined through an ADT with a show instance, a parser and a help function. This is messy and one of these elements can easily be overlooked.
Look into dependant-sum to see if it's possible to have something similar to coucoubot, where a command would be a record with all elements inside.
Currently a command is defined through an ADT with a show instance, a parser and a help function. This is messy and one of these elements can easily be overlooked. Look into dependant-sum to see if it's possible to have something similar to coucoubot, where a command would be a record with all elements inside.