search

BlockstreamResearch / simplicity

Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
MIT License
301 stars 45 forks source link

Should add nix target for building .pdf (and .tex?) version of the tech report #141

Open apoelstra opened 1 year ago

roconnor-blockstream commented 1 year ago

Related: https://savannah.gnu.org/bugs/?32171

Also: https://en.wikipedia.org/w/index.php?title=GNU_TeXmacs&oldid=1146582597#Batch_processing

roconnor-blockstream commented 1 year ago

Let's keep this issue open even after #145. When a new version of TeXmacs is released we can replace xvfb-run with just a simple --headless argument to TeXmacs.