Smap: Collecting small programs

From: Michael Hanus <>
Date: Tue, 28 Oct 2014 17:36:07 +0100


my previous email reminded me that I wanted to announce
a web-based tool which is useful to store and run small
example Curry programs (but there is also support for
other languages like Haskell or Prolog):

*Smap*, see

With Smap, you can write (Curry) programs in a web browser,
execute them, and store them persistently (for the latter,
you have to sign up to Smap, which is easily possible).

Alternatively, it is also possible to create a URL containing
a program to be executed with Smap. For instance, the
following URL contains a definition of the classical
functional logic program "last" where Boolean equality
is used instead of a constraint in the condition:

If you click on this URL, you can see, modify, and execute
this tiny program in your web browser.

The most recent version of the Curry tutorial

uses links to Smap for all example programs.

You are invited to store your favorite (Curry/Haskell/Prolog) programs
in Smap in order to share them with others.

Suggestions to improve Smap are always welcome!

Have fun,

curry mailing list
Received on Di Okt 28 2014 - 17:36:52 CET

This archive was generated by hypermail 2.3.0 : Sa Jul 24 2021 - 07:15:05 CEST