README.md

1ML snippets

Experiments at programming in 1ML.

Note that the code here uses a slightly modified version of the 1ML compiler. See the changes.