Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in sml

Fast Standard ML compiler or bytecode interpreter, with read-eval-print loop, for Linux?

Expanding # in sml

sml

Learning/using ML. Which system should i use?

ocaml sml ml

how do I add a line break in a string?

'How to use higher order functors properly?' or 'How to have serious fun with funsigs?'

module ocaml sml smlnj ml

In SML, how to assert that a particular exception is thrown?

exception testing equality sml

Does Scala have a statement equivalent to ML's "as" construct?

scala pattern-matching sml

What are the options SOME and NONE in SML?

sml smlnj

Printing only print output with SML/NJ

sml smlnj ml

How can I easily write simple tactics at the ML level of Isabelle?

sml isabelle

GUI for Standard ML?

Evaluate buffer in ghci or hugs via Emacs

haskell emacs sml

Standard ML functor examples

Problem running smlnj under OSX 10.6

macos sml smlnj

Suppress "val it" output in Standard ML

sml smlnj

Output is truncated with #-signs in the REPL

sml smlnj

Accessing SML tuples by Index Variable

tuples sml

Run SML file but not be left in interactive mode

windows sml

SML How to check variable type?

sml