100644 blob 8ca60f33e9b261e64e69f5ccc8668aefbb5b185e	bounds.txtar
100644 blob c32e0e0097421e5522ab916ce5eaf90bfc1bff3f	bulk.txtar
100644 blob 36917069fda0b6ed0f4e744b5dea95510d0cf976	closed_disjunction.txtar
100644 blob 8371eca10796807dd3bf651b7766dceed8dca68c	closedness.txtar
100644 blob 09152da86a0ee95fbf362c7ab7a5ab9ad02204b6	comprehensions.txtar
100644 blob a1d1bbbc56449d742c16c61a586c77cdceae50f0	cycles_ref.txtar
100644 blob fc6e002b81e369ebc97c0cacc499decd394d874e	disjunctions.txtar
100644 blob d42d46134e469a58237b58e435e86d6a17851ffb	dynamic_field.txtar
100644 blob 0b7f376d3d4d854c300962386260b4f6d9448d56	expressions.txtar
100644 blob 057693db3271927c6adf1c619d284be75da13b57	incomplete.txtar
100644 blob e7e9c382eed6792f9ef629db8f0c5e66566f18eb	let.txtar
100644 blob 93df5d4ca66c82b93ed16dbf1ddeeae47d63b0f3	lists.txtar
100644 blob 7bb1f4bc60fe8ed35792aed9e5698f9517df2ef0	merge.txtar
100644 blob 08be88e6b54b4b1a246106a69997507646f9b4d2	resolve_basic.txtar
100644 blob 45c8bb39e785384c97c13e3df5ef768ee4e1b71d	resolve_env.txtar
100644 blob 08be88e6b54b4b1a246106a69997507646f9b4d2	selectors.txtar
100644 blob de12aa6e90fbc3e5847f04dbda3dbc0245700d2b	structs.txtar
100644 blob 2ac87ed2f8ab7b7133d495806c5fb0af24ec9bbd	unify.txtar