James Smith


I've just made what I hope is a good fist of the Juxtapose website. You can find the link in the websites section below. Here is it again, I guess for emphasis:

As I mentioned in my previous update, I am a big fan of programmatic styles and JSX, which is partly why I have made this renewed effort.

Both the Occam website and the Occam IDE (such as it is) are written with Juxtapose and programmatic styles.

Update: I've also been working on a pretty printer:

Essentially it is a simpler version of the Occam IDE's pretty printer and it incorporates several of the Occam grammar packages. You can see about a dozen instances of it on the Juxtapose website.

Previous

Websites

Videos

Papers

Preprints

Presentations

Resources

Miscellany

Last updated 3rd May 2021