ekzhang / crepe

Datalog compiler embedded in Rust as a procedural macro
Apache License 2.0
463 stars 16 forks source link

Fix badge in README #24

Closed ekzhang closed 1 year ago

ekzhang commented 1 year ago

See https://github.com/badges/shields/issues/8671.