Skip to main content

Search

Items tagged with: unison

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 #-lang
#unison

⇧