Author Archives: admin

Protected: Reading lib/ur/basis.urs

Posted on June 9, 2012 by admin

There is no excerpt because this is a protected post.

Posted in Uncategorized | Comments Off

Protected: Map-like functions in Ur/Web

Posted on February 4, 2012 by admin

There is no excerpt because this is a protected post.

Posted in Uncategorized | Comments Off

Some mathematics

Posted on October 9, 2011 by admin

Using the latex plugin to wordpress, one can write formulae into a blog post! Cool.

Posted in Uncategorized | Comments Off

On Standard ML

Posted on April 4, 2011 by admin

What does SML offer for customers? Safety, speed, expressiveness and platform independence. SML is a typed functional language so every operation is applied to arguments whose type are as expected. This is in contrast to weakly typed languages like C … Continue reading →

Posted in Uncategorized | Comments Off