search

HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming
https://harvardpl.github.io/formulog/
Apache License 2.0
155 stars 10 forks source link

CSV reference #3

Closed kquick closed 3 years ago

kquick commented 3 years ago

In 01-language-basics, in the section "External input relations", TSV should be defined, and the last paragraph contains a reference to "CSV" which should be "TSV". You may also want to emphasize somehow that the example document has tabs and not spaces.

aaronbembenek commented 3 years ago

Thanks for pointing this out! I've clarified the documentation (commit 11b6921c2fcd090381a5d8320e54ddb9fefcd711).