https://wiki.haskell.org/index.php?title=Chaitin%27s_construction/Combinatory_logic&feed=atom&action=history
Chaitin's construction/Combinatory logic - Revision history
2024-03-19T09:25:08Z
Revision history for this page on the wiki
MediaWiki 1.35.5
https://wiki.haskell.org/index.php?title=Chaitin%27s_construction/Combinatory_logic&diff=5183&oldid=prev
EndreyMark: table of contents and categorising under Category:Theoretical foundations
2006-08-04T14:34:48Z
<p>table of contents and categorising under <a href="/Category:Theoretical_foundations" title="Category:Theoretical foundations">Category:Theoretical foundations</a></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:34, 4 August 2006</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>__TOC__</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Combinatory logic term modules</div></td>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Combinatory logic term modules</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td>
</tr>
<tr>
<td colspan="2" class="diff-lineno">Line 42:</td>
<td colspan="2" class="diff-lineno">Line 44:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> ess = S</div></td>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> ess = S</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div></haskell></div></td>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div></haskell></div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Theoretical foundations]]</div></td>
</tr>
<!-- diff cache key wikidb_haskell:diff:wikidiff2:1.12:old-5182:rev-5183:1.10.0 -->
</table>
EndreyMark
https://wiki.haskell.org/index.php?title=Chaitin%27s_construction/Combinatory_logic&diff=5182&oldid=prev
EndreyMark: Lifting section hierarchy
2006-08-04T14:33:30Z
<p>Lifting section hierarchy</p>
<p><b>New page</b></p><div>Combinatory logic term modules<br />
<br />
== CL ==<br />
<br />
<haskell><br />
module CL (CL, k, s, apply) where<br />
<br />
import Tree (Tree (Leaf, Branch))<br />
import BaseSymbol (BaseSymbol, kay, ess)<br />
<br />
type CL = Tree BaseSymbol <br />
<br />
k, s :: CL<br />
k = Leaf kay<br />
s = Leaf ess<br />
<br />
apply :: CL -> CL -> CL<br />
apply = Branch<br />
</haskell><br />
<br />
== CL extension ==<br />
<br />
<haskell><br />
module CLExt ((>>@)) where<br />
<br />
import CL (CL, apply)<br />
import Control.Monad (Monad, liftM2)<br />
<br />
(>>@) :: Monad m => m CL -> m CL -> m CL<br />
(>>@) = liftM2 apply<br />
</haskell><br />
<br />
== Base symbol ==<br />
<br />
<haskell><br />
module BaseSymbol (BaseSymbol, kay, ess) where<br />
<br />
data BaseSymbol = K | S<br />
<br />
kay, ess :: BaseSymbol<br />
kay = K<br />
ess = S<br />
</haskell></div>
EndreyMark