Changes

Directory:Jon Awbrey/Papers/Propositions As Types (view source)

Revision as of 02:38, 23 March 2009

580 bytes removed , 02:38, 23 March 2009

→‎Document History: markup

Line 2,569: Line 2,569:

==Document History==

−

~~<pre>~~

+

===Inquiry List, Series A : Jun–Jul 2004===

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~PAT~~. ~~Propositions As Types~~ -- 2004

+

* http://stderr.org/pipermail/inquiry/2004-June/thread.html#1643

+

* http://stderr.org/pipermail/inquiry/2004-July/thread.html#1677

+

# http://stderr.org/pipermail/inquiry/2004-June/001643.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001644.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001645.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001660.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001648.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001649.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001656.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001657.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001658.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001659.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001661.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001662.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001664.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001665.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001666.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001667.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001668.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001670.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001671.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001672.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001673.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001674.html

+

# http://stderr.org/pipermail/inquiry/2004-July/001677.html

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

+

===Inquiry List, Series B : Jun–Jul 2004===

−

~~PAT~~. ~~Propositions As Types A~~

+

* http://stderr.org/pipermail/inquiry/2004-June/thread.html#1647

+

* http://stderr.org/pipermail/inquiry/2004-July/thread.html#1684

+

# http://stderr.org/pipermail/inquiry/2004-June/001647.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001663.html

+

# http://stderr.org/pipermail/inquiry/2004-June/001669.html

+

# http://stderr.org/pipermail/inquiry/2004-July/001684.html

−

~~Inquiry List~~

+

===NKS Forum===

−

00. http://~~stderr~~.~~org~~/~~pipermail~~/~~inquiry~~/~~2004-June~~/~~thread~~.~~html~~#~~1643~~

+

* http://forum.wolframscience.com/showthread.php?threadid=490

−

~~00.~~ http://~~stderr~~.~~org~~/~~pipermail~~/~~inquiry~~/~~2004-July~~/~~thread~~.~~html~~#~~1677~~

+

# http://forum.wolframscience.com/showthread.php?postid=1517#post1517

+

# http://forum.wolframscience.com/showthread.php?postid=1548#post1548

+

# http://forum.wolframscience.com/showthread.php?postid=1550#post1550

+

# http://forum.wolframscience.com/showthread.php?postid=1590#post1590

−

~~01. http~~:~~//stderr.org/pipermail/inquiry/2004-June/001643.html~~

+

===Inquiry List : Jul 2005===

−

~~02. http://stderr.org/pipermail/inquiry/2004-June/001644.html~~

−

~~03. http://stderr.org/pipermail/inquiry/2004-June/001645.html~~

−

~~04. http://stderr.org/pipermail/inquiry/2004-June/001660.html~~

−

~~05. http://stderr.org/pipermail/inquiry/2004-June/001648.html~~

−

~~06. http://stderr.org/pipermail/inquiry/2004-June/001649.html~~

−

~~07. http://stderr.org/pipermail/inquiry/2004-June/001656.html~~

−

~~08. http://stderr.org/pipermail/inquiry/2004-June/001657.html~~

−

~~09. http://stderr.org/pipermail/inquiry/2004-June/001658.html~~

−

~~10. http://stderr.org/pipermail/inquiry/2004-June/001659.html~~

−

~~11. http://stderr.org/pipermail/inquiry/2004-June/001661.html~~

−

~~12. http://stderr.org/pipermail/inquiry/2004-June/001662.html~~

−

~~13. http://stderr.org/pipermail/inquiry/2004-June/001664.html~~

−

~~14. http://stderr.org/pipermail/inquiry/2004-June/001665.html~~

−

~~15. http://stderr.org/pipermail/inquiry/2004-June/001666.html~~

−

~~16. http://stderr.org/pipermail/inquiry/2004-June/001667.html~~

−

~~17. http://stderr.org/pipermail/inquiry/2004-June/001668.html~~

−

~~18. http://stderr.org/pipermail/inquiry/2004-June/001670.html~~

−

~~19. http://stderr.org/pipermail/inquiry/2004-June/001671.html~~

−

~~20. http://stderr.org/pipermail/inquiry/2004-June/001672.html~~

−

~~21. http://stderr.org/pipermail/inquiry/2004-June/001673.html~~

−

~~22. http://stderr.org/pipermail/inquiry/2004-June/001674.html~~

−

~~23. http://stderr.org/pipermail/inquiry/2004-July/001677.html~~

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

+

* http://stderr.org/pipermail/inquiry/2005-July/thread.html#2872

+

# http://stderr.org/pipermail/inquiry/2005-July/002872.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002873.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002874.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002875.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002876.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002877.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002878.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002879.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002880.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002881.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002882.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002883.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002884.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002885.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002886.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002887.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002888.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002889.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002890.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002891.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002892.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002893.html

+

# http://stderr.org/pipermail/inquiry/2005-July/002894.html

−

~~PAT. Propositions As Types B~~

+

===Inquiry List, Commentary : Jul 2005===

−

~~Inquiry List~~

+

* http://stderr.org/pipermail/inquiry/2005-July/thread.html#2895

−

+

# http://stderr.org/pipermail/inquiry/2005-July/002895.html

−

~~00. http://stderr.org/pipermail/inquiry/2004-June/thread.html#1647~~

+

# http://stderr.org/pipermail/inquiry/2005-July/002896.html

−

~~00. http://stderr.org/pipermail/inquiry/2004-July/thread.html#1684~~

−

~~01. http://stderr.org/pipermail/inquiry/2004-June/001647.html~~

−

~~02. http://stderr.org/pipermail/inquiry/2004-June/001663.html~~

−

~~03. http://stderr.org/pipermail/inquiry/2004-June/001669.html~~

−

~~04. http://stderr.org/pipermail/inquiry/2004-July/001684.html~~

−

~~NKS Forum~~

−

~~00. http://forum.wolframscience.com/showthread.php?threadid=490~~

−

~~01. http://forum.wolframscience.com/showthread.php?postid=1517#post1517~~

−

~~02. http://forum.wolframscience.com/showthread.php?postid=1548#post1548~~

−

~~03. http://forum.wolframscience.com/showthread.php?postid=1550#post1550~~

−

~~04. http://forum.wolframscience.com/showthread.php?postid=1590#post1590~~

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~PAT. Propositions As Types -- 2005~~

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~PAT. Propositions As Types~~

−

~~00.~~ http://stderr.org/pipermail/inquiry/2005-July/thread.html#~~2872~~

−

~~01. http://stderr.org/pipermail/inquiry/2005-July/002872.html~~

−

~~02. http://stderr.org/pipermail/inquiry/2005-July/002873.html~~

−

~~03. http://stderr.org/pipermail/inquiry/2005-July/002874.html~~

−

~~04. http://stderr.org/pipermail/inquiry/2005-July/002875.html~~

−

~~05. http://stderr.org/pipermail/inquiry/2005-July/002876.html~~

−

~~06. http://stderr.org/pipermail/inquiry/2005-July/002877.html~~

−

~~07. http://stderr.org/pipermail/inquiry/2005-July/002878.html~~

−

~~08. http://stderr.org/pipermail/inquiry/2005-July/002879.html~~

−

~~09. http://stderr.org/pipermail/inquiry/2005-July/002880.html~~

−

~~10. http://stderr.org/pipermail/inquiry/2005-July/002881.html~~

−

~~11. http://stderr.org/pipermail/inquiry/2005-July/002882.html~~

−

~~12. http://stderr.org/pipermail/inquiry/2005-July/002883.html~~

−

~~13. http://stderr.org/pipermail/inquiry/2005-July/002884.html~~

−

~~14. http://stderr.org/pipermail/inquiry/2005-July/002885.html~~

−

~~15. http://stderr.org/pipermail/inquiry/2005-July/002886.html~~

−

~~16. http://stderr.org/pipermail/inquiry/2005-July/002887.html~~

−

~~17. http://stderr.org/pipermail/inquiry/2005-July/002888.html~~

−

~~18. http://stderr.org/pipermail/inquiry/2005-July/002889.html~~

−

~~19. http://stderr.org/pipermail/inquiry/2005-July/002890.html~~

−

~~20. http://stderr.org/pipermail/inquiry/2005-July/002891.html~~

−

~~21. http://stderr.org/pipermail/inquiry/2005-July/002892.html~~

−

~~22. http://stderr.org/pipermail/inquiry/2005-July/002893.html~~

−

~~23. http://stderr.org/pipermail/inquiry/2005-July/002894.html~~

−

~~PAT. Propositions As Types -- Commentary~~

−

~~00. http://stderr.org/pipermail/inquiry/2005-July/thread.html~~#~~2895~~

−

~~01.~~ http://stderr.org/pipermail/inquiry/2005-July/002895.html

−

~~02.~~ http://stderr.org/pipermail/inquiry/2005-July/002896.html

−

~~03.~~

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~</pre>~~

Jon Awbrey

12,080

edits