Index - P
| parse | Lang.Parser |
| ParseError | Lang.Parser |
| parseExample | Lang.Evaluation |
| parseFromFile | Lang.Parser |
| parseProgram | Lang.Parser |
| ParseResult | Lang.Parser |
| parseString | Lang.Parser |
| pick | Lang.Classification |
| pick' | Lang.Classification |
| pickTestClassficationStrategy | Lang.ClassificationInstances |
| Polarity | Lang.Classification |
| polarity | Lang.Classification |
| Pos | Lang.Classification |
| postProcess | Lang.ClassificationInstances |
| PostProcessing | Lang.ClassificationInstances |
| postProcessJ | Lang.ClassificationInstances |
| premises | Logic.Proof |
| Problem | Logic.Problems |
| problems | Logic.Problems |
| Proof | |
| 1 (Type/Class) | Logic.Proof |
| 2 (Data Constructor) | Logic.Proof |
| proofs | Logic.Proof |
| prove | Logic.Proof |
| prove' | Logic.Proof |