We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f7a51b9 commit c5e4386Copy full SHA for c5e4386
docs/starting.md
@@ -7,7 +7,7 @@ nav_order: 2
7
# Getting Started
8
9
Thank you for your interest in Formulog!
10
-This page describes how to install Formulog and provides some pointers on writing Formulog programs.
+This page describes how to set up Formulog and provides some pointers on writing Formulog programs.
11
12
## Seting up Formulog
13
0 commit comments