http://fileformats.archiveteam.org/index.php?action=history&feed=atom&title=CakeML 2026-04-25T05:45:31Z Revision history for this page on the wiki MediaWiki 1.19.2 http://fileformats.archiveteam.org/index.php?title=CakeML&diff=32105&oldid=prev 2019-06-03T00:19:48Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 00:19, 3 June 2019</td> </tr><tr><td colspan="2" class="diff-lineno">Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>|formattype=Languages</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>|formattype=Languages</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>|subcat=Programming Languages</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>|subcat=Programming Languages</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">|extensions={{ext|sml}}</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>}}</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>}}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>'''CakeML''' may sound like a markup language for cake recipes, but it's actually a functional language based on [[Standard ML]], which is based in turn on [[ML]]. It uses a proven-correct compiler that can bootstrap itself.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>'''CakeML''' may sound like a markup language for cake recipes, but it's actually a functional language based on [[Standard ML]], which is based in turn on [[ML]]. It uses a proven-correct compiler that can bootstrap itself.</div></td></tr> </table>

Dan Tobias http://fileformats.archiveteam.org/index.php?title=CakeML&diff=32102&oldid=prev 2019-06-03T00:16:24Z

<p>Created page with &quot;{{FormatInfo |formattype=Languages |subcat=Programming Languages }} &#039;&#039;&#039;CakeML&#039;&#039;&#039; may sound like a markup language for cake recipes, but it&#039;s actually a functional language bas...&quot;</p> <p><b>New page</b></p><div>{{FormatInfo<br /> |formattype=Languages<br /> |subcat=Programming Languages<br /> }}<br /> '''CakeML''' may sound like a markup language for cake recipes, but it's actually a functional language based on [[Standard ML]], which is based in turn on [[ML]]. It uses a proven-correct compiler that can bootstrap itself.<br /> <br /> == Links ==<br /> * [https://cakeml.org/ Project page]<br /> * [https://cakeml.org/pldi19.pdf Verified Compilation on a Verified Processor]<br /> * [https://github.com/CakeML/hardware Project GitHub]</div>

Dan Tobias