# tddlog for C

```{include} ../README.md
:start-after: "</p>"
```

## The example

`examples/alarm.c`, the program above on the alarm example, checked
against the probabilities worked out by hand:

```{literalinclude} ../examples/alarm.c
:language: c
```

The [guide](https://tractables.github.io/tddlog/guide/) describes the
language tddlog reads, with worked examples that open in the
[playground](https://tractables.github.io/tddlog/).

## The header

`include/tddlog.h`, which documents every type and function:

```{literalinclude} ../include/tddlog.h
:language: c
```