@rysiek@mastodon.technology @RyunoKi @humanetech@mastodon.social @tomasino for strongly normalising languages, hashed normal form of expressions seems like a natural method. Even non-strongly normalising languages could hash reduced expressions a la #unison-lang