From 417571434e4eee450489fabf86285255a08c3c96 Mon Sep 17 00:00:00 2001 From: Tilman Hinnerichs Date: Tue, 2 Jul 2024 16:18:25 +0200 Subject: [PATCH] Fix about.md typo --- _pages/about.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_pages/about.md b/_pages/about.md index 38a97b1..9a04bdf 100644 --- a/_pages/about.md +++ b/_pages/about.md @@ -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).