Dan Doel cad8cb2db9 Add validation to random deserial tests, and fix some bugs ... The pair marshaling code was mistakenly using only a single layer of data nesting, but unison pairs are like 2-element cons lists. The rehashing code was not sorting the SCCs into a canonical order, so the exact input order for components with more than one binding could influence the hash. Sorting by input reference order fixes this, as all references in an SCC are required to have the same hash, and differ only by index.		2023-08-10 17:10:31 -04:00
..
src	Add validation to random deserial tests, and fix some bugs	2023-08-10 17:10:31 -04:00
tests	revamp round trip tests	2023-07-24 09:55:58 -04:00
LICENSE	Update and standardize licenses	2021-10-12 13:47:08 -06:00
package.yaml	finish tying together unique type guid reuse	2023-07-18 12:59:37 -04:00
unison-parser-typechecker.cabal	Add a module for rehashing ANF code	2023-07-31 14:45:08 -04:00