Skip to content

Commit

Permalink
README: Add devShell
Browse files Browse the repository at this point in the history
  • Loading branch information
@locallycompact
locallycompact committed Jul 5, 2024
1 parent 4bc42bf commit 2b99a9a
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,17 @@

Agda specification for the hydra-protocol.

## Building
## Devshell For Type Checking

To enter the devShell

```
nix develop .#hydra-protocol-typecheck
cd hydra-protocol
agda Hydra/Protocol/Main.lagda
```

## Building a PDF

```
nix build
Expand Down

0 comments on commit 2b99a9a

Please sign in to comment.