100644 blob 8ca60f33e9b261e64e69f5ccc8668aefbb5b185e	bounds.txtar
100644 blob fd65e50a949e017991b5236e03c3b01a6f63a6e2	bulk.txtar
100644 blob ce3005a499db389429e9f9266f276ccd5e5ced4e	closed_disjunction.txtar
100644 blob db75799306a0f085b33726511b7b7d39262b073d	closedness.txtar
100644 blob a0da3af60a1ec359f92709a52cb8fc3dcb32528c	comprehensions.txtar
100644 blob 7d94f0d0f95ae13adbf1da6c397f7ad6941a3529	conflicts.txtar
100644 blob a1d1bbbc56449d742c16c61a586c77cdceae50f0	cycles_ref.txtar
100644 blob 246cae639ce0bdbcb4152b1ccdbe16dd7965af84	discontinuous.txtar
100644 blob 4563b9f701cf148a49d9961cf5fa799e6701acab	disjunctions.txtar
100644 blob d42d46134e469a58237b58e435e86d6a17851ffb	dynamic_field.txtar
100644 blob 7fe090c2610c58626d2a0d2970c5fee69def78bb	embed.txtar
100644 blob bcb09aaaf2ba2fbec621291a8ffcde5bfdc52a41	errunifiy.txtar
100644 blob 0b7f376d3d4d854c300962386260b4f6d9448d56	expressions.txtar
100644 blob b72808d46c0e0a25c26741624422fbdf9db1d848	incomplete.txtar
100644 blob 6abbe4a00d3f51361c6566be4e6ba7bf89bc6a45	issue285.txtar
100644 blob d4955e96a74b8d1c8a41edfe0382f714a0e4b390	issue295.txtar
100644 blob 9921a918f9b52e983e27abb34ea724acf5a34992	issue349.txtar
100644 blob 10216af821f9479d7cc707fc3945cea9150ece4e	issue353.txtar
100644 blob 45a174b3928c2770f6852658a3161953330711ad	issue494.txtar
100644 blob 7beacec6f178d88a21447bdaca10af75616a30c3	issue500.txtar
100644 blob 7e6fa60550635aa9f6ddcff3d54dd0e5cf721dcd	issue545.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 4fdc64e66c943a814de7f7504f07c331fd942f09	selectors.txtar
100644 blob de12aa6e90fbc3e5847f04dbda3dbc0245700d2b	structs.txtar
100644 blob 2ac87ed2f8ab7b7133d495806c5fb0af24ec9bbd	unify.txtar