/nyu p*rl/ Nearly Ultimate PRL.
A system for interactive creation of formal mathematics, including definitions and proofs. It has an extremely rich type system, including dependent functions, products, sets, quotients and universes. Types are first-class citizens. It is built on Franz Lisp and Edinburgh ML.
[“Implementing Mathematics in the Nuprl Proof Development System”, R.L. Constable et al, P-H 1986].
L. Naish, U Melbourne. A Prolog with ‘when’ declarations, the successor to MU-Prolog. Type-checked. “NU-Prolog Reference Manual – Version 1.3”, J.A. Thom et al eds, TR 86/10, U Melbourne (1988). Available (but not free). (See PNU-Prolog). E-mail: .
[nuhp-shuh l, -chuh l] /ˈnʌp ʃəl, -tʃəl/ adjective 1. of or relating to marriage or the marriage ceremony: the nuptial day; nuptial vows. 2. of, relating to, or characteristic of mating or the mating season of animals: nuptial behavior. noun 3. Usually, nuptials. a wedding or marriage. /ˈnʌpʃəl; -tʃəl/ adjective 1. relating to marriage; conjugal: […]
noun, Roman Catholic Church. 1. a special mass said at a wedding.
noun, Ornithology. 1. the plumage assumed by a male bird during the courtship period, especially in those species that are more colorful at this period.