blob: f2b651dd6a34e8c364397e20cf3cf2d5e78dd724 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
+++
title = "Representation of predicates"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1b3"]
forwardlinks = ["2e1b3b"]
zettelid = "2e1b3a"
+++
The predicates represent what path was followed getting to the γ
function, which will then be used to select the right variable. However,
there are various different representations of the predicate in the γ
function.
|
