next-generation programming platform, currently in development
help fund the project

Twitter . GitHub . RSS

First round-trip connecting editor front-end to typechecker

I did some refactoring to allow the Unison editor to run “headless”, using a local, in-memory node rather than a remote Haskell server. This opens the door to a few things.

full post

How would a hash collision be handled in Unison?

Here’s a question, what happens if there’s a collision with the hashing scheme used by Unison. What would happen, and is this something we should worry about?

full post

Progress on editor navigation controls

I have a few videos to demo the navigation control I’m adding to the editor. First, let’s look at this old video:

full post

Richer rendering of function application

A couple quick updates:

full post

A combinator library for responsive layout, and rich function layouts

Here’s a quick summary of recent updates:

full post