# PCF

```agda
{-# OPTIONS --rewriting --confluence-check #-}

module PCF.index where

import PCF.Definitions
import PCF.Tests
```