经典实例

经典实例是为 Idris 2 中的常见模式和应用提供常见的案例。