جلسه دوم

در این جلسه نحوه تعریف ثابت از typeهای تعریف‌شده را بررسی کرده و با تعریف گروهی ثابت‌ها آشنا می‌شویم. همچنین به iota برای ایجاد مقادیر ترتیبی اشاره می‌کنیم و نحوه تعریف و استفاده از متدها روی typeها را یاد می‌گیریم.