Language.Dung.Examples

Example uses of the basic definitions

type AbsArg

exampleAF

exampleAF2

Example uses of the fixpoint definitions

faf