About the Dfine category

Discussions, questions, comments and suggestions regarding Dfine