[go: up one dir, main page]

13 May 23

The MLton docs include a directory of reference material. Useful links out to a number of Standard ML related stuff. Also some stuff on type theory more generally.

by eli 2 years ago

23 Apr 23

Here is a simple way to make a fully navigable archive of an interesting static website, for instance for offline consumption, or because you are afraid that the Internet will cease to exist soon. We will be using redbean to make this archive easily viewable: this will make the archive an executable, that runs a simple static webserver when launched. For this example, we will be archiving redbean’s website itself.

by eli 2 years ago saved 5 times

18 Mar 23

Archive of literate programming resources and history.

by eli 2 years ago saved 2 times

26 Oct 22