Cookbook

The cookbook provides common recipes for common patterns and applications in Idris 2.