<feed xmlns='http://www.w3.org/2005/Atom'>
<title>moon/zygotec/PROPOSALS.md, branch work/prover</title>
<subtitle> work-in-progress programming language.
</subtitle>
<id>https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover</id>
<link rel='self' href='https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover'/>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/'/>
<updated>2026-10-14T08:50:28+00:00</updated>
<entry>
<title>PROPOSALS.md: features worth adding to zc</title>
<updated>2026-10-14T08:50:28+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T08:50:28+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=5e5416f1241022c97280825ffc148f11d9e53911'/>
<id>urn:sha1:5e5416f1241022c97280825ffc148f11d9e53911</id>
<content type='text'>
</content>
</entry>
</feed>
