F# implementation of Dung's argumentation framework