Skip to content

Commit

Permalink
Fix about.md typo
Browse files Browse the repository at this point in the history
  • Loading branch information
THinnerichs committed Jul 2, 2024
1 parent 4f1a404 commit 4175714
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _pages/about.md
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ Herb.jl will take care of this for you and helps you defining, solving and exten

Herb.jl provides...
- a unified and universal framework for program synthesis
- Herb.jl allows you to describe all sorts of program synthesis problems using context-free grammars
- a fast notion to describe all sorts of program synthesis problems with different specifications and grammars
- a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box

Check out [our documentation](https://herb-ai.github.io/Herb.jl/dev/) and [the repository](https://github.com/Herb-AI/Herb.jl).
Expand Down

0 comments on commit 4175714

Please sign in to comment.