When the function has no argument and return nothing (`void`), I saw sometimes 
like this
    
    
    proc main =
      echo "In main proc"
    
    when isMainModule:
      main()
    

Reply via email to