Skip to content

Instantly share code, notes, and snippets.

View lucaspcamargo's full-sized avatar

Lucas Pires Camargo lucaspcamargo

View GitHub Profile
@mujjingun
mujjingun / PCP.cpp
Last active April 29, 2020 14:50
Undecidable C++ Grammar Example
#include <algorithm>
#include <type_traits>
template <int... Ints>
struct Row {
constexpr static bool empty = (sizeof...(Ints) == 0);
};
template <typename Upper, typename Lower>
struct Domino {