Battalion (mode=king): Kill the team when the king died instea of dismissing DismissTeam causes a lot of problems and is not suited for multiplayer. The team is not dismissed if the team is still active. It's hard to properly do a tie. And, and, and …

     1

{-# LANGUAGE ImpredicativeTypes #-}

     2

module Main where

     3

     4

import qualified MODULE as M

     5

     6

main = undefined $ M.FUNCTION PARAMETERS