// Copyright (c) 2024, Marvin Borner // SPDX-License-Identifier: MIT #include #include #include #include int main(void) { Term *term = parse_blc_fp(stdin); print_bruijn(term); printf("\n"); }