This repository contains the archived source code of UNIF, a unification algorithm developped in 1974 at IRIA by Gérard Huet. UNIF source code can be discovered via two different angles, materialized as two different branches.

The main branch contains the original materials as well as the metada linked to UNIF. The original finds are stored in the Depository containing the raw materials.

• Folder raw materials is for the original source code materials, as they have been found or submitted, as well as some ancillary documents.

  • source_code contains a scanned listing of the UNIF source code as well as a README file containing an execution example, both from 1974.
  • additional_material contains the historical publication A unification algorithm for typed lambda-calculus, Theoretical Computer Science 1 (1975) 27-57. on which UNIF was based, as well as some personnal recollections from Gérard Huet.

• Folder metadata holds various files with meta information to be updated throughout the process.

The SourceCode branch is a standalone view on the historical source code.

This repository was created by Software Heritage team, with the support of the Software Heritage Acquisition Process (SWHAP). All the raw materials were provided by Gérard Huet and are also presented on his personnal page.

For general considerations about the process, check out the SWHAP guide as initially published in 2019 with UNESCO. For a detailed step by step description of the process, check out the SWHAP@Inria guide. The SWHAP@Inria guide is itself a simplified version of the step by step SHWAP@Pisa guide published by the university of Pisa.