rt a problem here -> https://gitreports.com/issue/MicheleCastrovilli/Euphs\n\
   \See the current status and issues here -> https://github.com/MicheleCastrovilli/Euphs/issues"

helpFun :: Net String
helpFun = do
    botNa
helpIss :: String
helpIss = "Feel free to report a problem here -> https://gitreports.com/issue/MicheleCastrovilli/Euphs\n\
   \See the current status and issues here -> https://github.com/MicheleCastrovilli/Euphs/issues"
helpIss = "Feel free to report a problem here -> https://gitreports.com/issue/MicheleCastrovilli/Euphs\n\
   \See the current status and issues here -> https://github.com/MicheleCastrovilli/Euphs/issues"