Skip to content

Instantly share code, notes, and snippets.

@Quuxplusone
Quuxplusone / tnt.py
Last active April 8, 2019 21:07
Douglas Hofstadter's "Typographical Number Theory" exercises, in Python.
# -*- coding: utf-8 -*-
import re
from contextlib import contextmanager
assert u'\u2283' == u'⊃'
assert u'\u2227' == u'∧'
assert u'\u2228' == u'∨'
assert u'\u2200' == u'∀'
assert u'\u2203' == u'∃'
#pragma once
#ifndef H_SWITCH_ON
#define H_SWITCH_ON
#include <stdexcept>
#include <tuple>
#include <type_traits>
#include <utility>
namespace xstd {