hexclover

#!/usr/bin/env python3
import json
import uuid
import datetime as dt
from dataclasses import dataclass

firstDayOfTerm  = dt.date(year=2023, month=9, day=4)
lessonStartTime = list(map(dt.time.fromisoformat, ['08:00','09:00','10:10','11:10','14:00','15:00','16:10','17:10','18:30', '19:30','20:40','21:30']))
lessonDuration  = dt.timedelta(minutes=50)

hexclover

#define testNum(num, val)                                                      \
    do {                                                                       \
        static_assert(FromChurch<num>::get == (val));                          \
        static_assert(FromChurch<Pred::template Ap<num>::V>::get ==            \
                      ((val) > 0 ? (val)-1 : 0));                              \
    } while (0)
#define testOp(op, a, b, exp)                                                  \
    do {                                                                       \
        static_assert(                                                         \
            FromChurch<op::template Ap<a>::V::template Ap<b>::V>::get ==       \