dallaylaen

#!/usr/bin/env perl

use strict;
use warnings;
use Test::Most;

my %days = (
    28 => qr/0[1-9]|1[0-9]|2[0-8]/,
    29 => qr/0[1-9]|[12][0-9]/,
    30 => qr/0[1-9]|[12][0-9]|30/,

dallaylaen

§ Введение в зависимо-типизированные алгебры

§§ Обыкновенные и матричные алгебры

Алгебры описываются в терминах грамматики и отношений взаимозаменяемости. В обыкновенных алгебрах (таких как моноид, группа, решётка, кольцо, поле) мы выделяем ровно один тип грамматических сущностей, но вообще говоря типов может быть много (напр. Существительное, Прилагательное, Глагол).

Чтобы ознакомиться с обозначениями, рассмотрим к примеру определение моноида:

                       a : M    b : M

–———– ——————— ————————————————

dallaylaen

#!/bin/sh
#
# Copyright (c) 2007 Andy Parkins
#
# An example hook script to mail out commit update information.  This hook
# sends emails listing new revisions to the repository introduced by the
# change being reported.  The rule is that (for branch updates) each commit
# will appear on one email and one email only.
#
# This hook is stored in the contrib/hooks directory.  Your distribution