summaryrefslogtreecommitdiff
path: root/docs/type_system/ir.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system/ir.md')
-rw-r--r--docs/type_system/ir.md22
1 files changed, 0 insertions, 22 deletions
diff --git a/docs/type_system/ir.md b/docs/type_system/ir.md
deleted file mode 100644
index 9ebfd79..0000000
--- a/docs/type_system/ir.md
+++ /dev/null
@@ -1,22 +0,0 @@
-# Ir
-
----
-
-```text
-Ir[[IR_NAME] Address[6]]
-```
-
-`IR_NAME` is a single value
-
-## Type Body Object Definitions
-
-```c
-typedef struct {
- ssize_t label;
- kpl_type *address[6];
-} kpl_type_body_ir;
-
-typedef enum : uint16_t {
-
-} kpl_ir_name;
-```