*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
-
Created by
Jim Entwood, last updated by user-823a7 on Oct 17, 2012
1 minute read
NuPRL System Wiki
link to nuprl.org ->
Term notation : some notes about how nuprl terms are represented as text in this wiki.