blob: b70e60a35a3ddeb278ae43f6916a1b603e64b794 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de>
#ifndef TERM_H
#define TERM_H
typedef enum { INV, ABS, APP, VAR, CLOSURE, CACHE } term_type;
struct term {
int tracker;
term_type type;
union {
struct {
int name;
struct term *term;
} abs;
struct {
struct term *lhs;
struct term *rhs;
} app;
struct {
int name;
enum { BARENDREGT_VARIABLE, BRUIJN_INDEX } type;
} var;
void *other;
} u;
};
void to_barendregt(struct term *term);
void to_bruijn(struct term *term);
struct term *new_term(term_type type);
struct term *duplicate_term(struct term *term);
int alpha_equivalency(struct term *a, struct term *b);
void free_term(struct term *term);
void print_term(struct term *term);
void print_scheme(struct term *term);
#endif
|
