| changeset 76987 | 4c275405faae |
| parent 76216 | 9fc34f76b4e8 |
| 76986:1e31ddcab458 | 76987:4c275405faae |
|---|---|
10 begin |
10 begin |
11 |
11 |
12 text \<open> |
12 text \<open> |
13 Curiously, combinators do not include free variables. |
13 Curiously, combinators do not include free variables. |
14 |
14 |
15 Example taken from @{cite camilleri92}. |
15 Example taken from \<^cite>\<open>camilleri92\<close>. |
16 \<close> |
16 \<close> |
17 |
17 |
18 |
18 |
19 subsection \<open>Definitions\<close> |
19 subsection \<open>Definitions\<close> |
20 |
20 |