Richard Zach on Nostr: There's some interest to translate the Open Logic Project. I'm trying to figure out a ...
Published at
2024-09-09 17:55:07Event JSON
{
"id": "a9e9d964fed2a34a79abd2698f318f5d65256494e692fe5ad24847eb7da61c41",
"pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"created_at": 1725904507,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/rrrichardzach/statuses/113108877798544245",
"activitypub"
]
],
"content": "There's some interest to translate the Open Logic Project. I'm trying to figure out a good workflow on GitHub where the OLP lives. I posted a question on SE https://stackoverflow.com/questions/78966632/translate-book-with-git-github but it got closed since it's not about \"software tools primarily used by programmers.\" What gives?",
"sig": "e7da871572837b130a1d94d8a38a058ce1157388f8a09461f32daa4f4ad9d13a694c0d55412d18521514cd797810e80b2e84661b00aaa4b128150bf504fd42b0"
}
