Add sponsor badge

hyperpolymath · hyperpolymath · commit 8414e157cdc2 · 2026-06-01T01:12:17.000+01:00
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+[![Sponsor](https://img.shields.io/badge/Sponsor-%E2%9D%A4-pink?logo=github)](https://github.com/sponsors/hyperpolymath)
+
 # arghda-core
 
 Lightweight proof-workspace manager for Agda. Extracted from

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+[![Sponsor](https://img.shields.io/badge/Sponsor-%E2%9D%A4-pink?logo=github)](https://github.com/sponsors/hyperpolymath)`
	`2`	`+`
`1`	`3`	`# arghda-core`
`2`	`4`
`3`	`5`	`Lightweight proof-workspace manager for Agda. Extracted from`