Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 3 items matching your search terms.

Subscribe to an always-updated feed of these search terms

Two Turing Machines
For fun I wrote two universal Turing machines: one in Prolog, one in Mercury. This led me to some observations about type systems and their spheres of utility.
Mercury's "Time to Hello World"
There's an interesting metric for language accessibility (and therefore, by extension, often its popularity) called "Time to Hello World". Mercury's "Time to ...
Setting up Emacs with Flymake for Mercury
Quick guide on how to get Emacs have Mercury code 'flymade' so you can see the errors as you edit the code.