Proof: Difference between revisions

Content added Content deleted
(alphabetize, minor clean-up)
(→‎{{header|Racket}}: cur fixes are merged)
Line 972: Line 972:
=={{header|Racket}}==
=={{header|Racket}}==


Via <code>#lang cur</code>.
Via <code>#lang cur</code>. Currently (August 29th, 2019), I am using a development version, which could be installed by the following commands:

<pre>
raco pkg install https://github.com/stchang/macrotypes.git?path=macrotypes-lib#cur
raco pkg install https://github.com/stchang/macrotypes.git?path=turnstile-lib#cur
raco pkg install https://github.com/wilbowma/cur.git?path=cur-lib#turnstile-core
</pre>


<lang racket>#lang cur
<lang racket>#lang cur