You should feel comfortable reading and writing proofs of (relatively)
simple propositions and understand basic concepts in logic and abstract
algebra. Calculus may or may not help you.
_
For list-related administrative tasks:
http://lists.racket
On 9/9/2010 8:31 PM, Eli Barzilay wrote:
MathJax is the best solution I've seen so far -- but it's kind of
cheating... "If we can't get broad support for renering math, we'll
do it ourselves." This makes the result much less appealing as proper
support -- like relying on js (probably means tha
Eli Barzilay wrote:
Using images sound like the usual fragile solution, so ideally there
will be some better solution for both latex/pdf and html in the
future. (But it's been more than a decade that math-in-a-browser is
"just around the corner".)
There's MathJax (http://www.mathjax.org) whic
application/octet-stream
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
Google lhs2TeX.
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
I realize that I meant to say "Yes" because it is too much to hope.
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
I happen to spend most of my time not programming or reading Racket
documentation, so the answer to your question is "No."
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
if you so desire) with me in downtown Berkeley whenever
you're in the area. If you come up with anything nicer then I'll set up
a PayPal account, post some ads in the technical departments at my
school, and we'll talk.
--
Karl Winterling
Skype: karl.winterling
__
Copy the definition, paste it into the REPL, and press return. Otherwise
subx:
if (bac >= 0.15)
exit(-1);
else {
drink_beer();
hit_head_with_brick(&SELF);
goto subx;
}
On Thu, Jun 24, 2010 at 12:34 AM, Jordan Johnson wrote:
> See
> http://blog.racket-lang.org/2009/03/drscheme-repl-isnt-lisp.
cket documentation and the help available on this email list,
> there are professional Racket consultants available for outsourcing. And,
> to borrow a line from an Asimov bio, they grow more handsome with each year.
>
> Karl Winterling wrote at 06/22/2010 02:45 PM:
>>
>> It app
It appears that you need a PLT Web server running on your site's host
to deploy Web applications. Is it possible to deploy applications on
shared hosting with Apache and something like CGI or FastCGI?
_
For list-related administrative tasks:
http:
On Fri, Jun 18, 2010 at 10:32 AM, Jim Wise wrote:
>
> I think the only real confusion comes in when you look at the iPhone and
> think of it as a general-purpose computer -- an environment where you
> are used to downloading your own software. A better comparison is to a
> game console like a Nin
I know this is a bit off-topic, but I wanted to see if anybody knows
of an iPad-like device that lets you install LaTeX and a PDF viewer
that supports annotations.
On Fri, Jun 18, 2010 at 9:02 AM, Karl Winterling wrote:
> It's probably a mix of Apple's desire to have a co
It's probably a mix of Apple's desire to have a consistent user
interface, control code distribution through the app store, prevent
worthy competing API's (like, say, Java ME) from challenging Cocoa
(which partially concerns money and partially consistent UI), and
assure the FCC and carriers that n
On Fri, Jun 11, 2010 at 12:16 PM, Shriram Krishnamurthi
wrote:
>> [...] and a scripting language for the App Engine.
>
> That would be news to me!
>
> Shriram
>
Hearsay is wonderful.
_
For list-related administrative tasks:
http://lists.racket-
On Fri, Jun 11, 2010 at 11:40 AM, Tim Johnson wrote:
> Very interesting! Could you elaborate on this Google
> investment in kawa? Or just post some links?
> thanks
I think that Google uses Scheme as a configuration language for
android and a scripting language for the App Engine. Kawa can com
16 matches
Mail list logo
