100644 blob 75020fd700abea9aeeb73eaac8e3e620f3063f01	basictypes.txtar
100644 blob 45fa97b397cd34869d648c900c8a62b536e0db24	bounds.txtar
100644 blob b533f24fd6cb68363f7f4136a74e3fbd878ff560	bulk.txtar
100644 blob 06301820973ed879b8070c0bc32a9628e73ea4d1	closed_disjunction.txtar
100644 blob 7ebbe6481df3258dce11e6bc8a570f9f1b90f5cd	closedness.txtar
100644 blob a0da3af60a1ec359f92709a52cb8fc3dcb32528c	comprehensions.txtar
100644 blob ce8408f2eb2f69be44263bf49136d6f6576b4b70	conflicts.txtar
100644 blob a1d1bbbc56449d742c16c61a586c77cdceae50f0	cycles_ref.txtar
100644 blob 246cae639ce0bdbcb4152b1ccdbe16dd7965af84	discontinuous.txtar
100644 blob 5027d2be8b0936ed353a8d1531f8b51833ac9516	disjunctions.txtar
100644 blob c7554e97962ab6f5fec4cbadb2c19cff10ac266a	dynamic_field.txtar
100644 blob 7fe090c2610c58626d2a0d2970c5fee69def78bb	embed.txtar
100644 blob f818cbb3fdc96b288de83bc36a602cba6a135868	errunifiy.txtar
100644 blob 0b7f376d3d4d854c300962386260b4f6d9448d56	expressions.txtar
100644 blob 32128352cf3ff8bc4caa7e6401a634ab7e8e6d57	fields.txtar
100644 blob 57adf0fe238d1b477e4aac47adf4e8f5f66b1c5a	github.txtar
100644 blob c0759918fd24abb6ff2bb8c5d39b59b684ae3607	incomplete.txtar
100644 blob d3ba6128244574ecc72a5b964549c3611b790d36	incompleteperm.txtar
100644 blob 6abbe4a00d3f51361c6566be4e6ba7bf89bc6a45	issue285.txtar
100644 blob d4955e96a74b8d1c8a41edfe0382f714a0e4b390	issue295.txtar
100644 blob 9921a918f9b52e983e27abb34ea724acf5a34992	issue349.txtar
100644 blob 9b26d24f6e53217884742ea622d185e141c5ceb3	issue353.txtar
100644 blob 45a174b3928c2770f6852658a3161953330711ad	issue494.txtar
100644 blob 7beacec6f178d88a21447bdaca10af75616a30c3	issue500.txtar
100644 blob 7e6fa60550635aa9f6ddcff3d54dd0e5cf721dcd	issue545.txtar
100644 blob 7f92529f26e678eca8bd3d82c7c71e3be153860d	issue599.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