*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
Skip to main content
Log in
Linked Applications
Loading...
Dev Confluence Dashboard
Dev Confluence Dashboard
Spaces
Hit enter to search
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
About Confluence
Log in
PRL Project
Edit space details
Pages
Blog
Blog
2012
2011
December
November
PRL Seminar - Dec 2 - Finally tagless, partially evaluated
No Seminar this week - Happy Thanksgiving
PRL Seminar Nov 18 - A Conversation with Moshe Vardi
No PRL Seminar for 11-11
Nov 4 PRL Seminar- Simple Consensus
October
September
August
Browse pages
Configure
Space tools
Blog
2011
November
23
No Seminar this week - Happy Thanksgiving
View Page
A
t
tachments (0)
Page History
Page Information
View Source
Page History
Versions Compared
Old Version
1
changes.mady.by.user
Jim Entwood
Saved on
Nov 23, 2011
compared with
New Version
Current
changes.mady.by.user
Jim Entwood
Saved on
Nov 23, 2011
View Page History
Key
This line was added.
This line was removed.
Formatting was changed.
Comment:
Migrated to Confluence 4.0
See you all on 12/2!
Overview
Content Tools
{"serverDuration": 70, "requestCorrelationId": "abe77ef6f9f39ef8"}
