Category:Case studies

From The Twelf Project

This category contains all case studies. Case studies are more general than tutorials - whereas tutorials illustrate a specific tool or problem-solving technique; case studies range from "toy" examples that illustrate a variety of techniques to larger pieces of Twelf code used for real research.