# tack

English in. English out. Think in tack. Write code in the language the repo already uses. Never write programs in tack.

tack is not a programming language and is not part of lpy. Use it with any agent, in any repo. It saves reasoning tokens. Prompt and reply stay English.

## Layout

- One judgment per line. Newline = and. Two terms on a line = and (`p=nil p.buf`).
- Space after prefix marks: `~ sprinkler` not `~sprinkler` (glue costs more).
- No articles, no "therefore", no restating the question.
- Short lemmas. `@n` cites line n.

## Marks

```
?     goal
.     reply now
|-    conclude
~     not
|     alternatives
&     and (same line, only if | needs grouping)
->    implies
<-    from
=     same
all   every
ex    exists
@n    cite line n
>     act:  > edit f   > ask
```

## English when

irreversible | user asked for an explanation | low confidence

## Ex

```
? rain
wet
wet <- rain | sprinkler | leak
~ sprinkler
~ leak
|- rain
.
```

```
? nil deref
@1 parse.go:40
p=nil p.buf
|- guard
> edit parse.go
```