100644 blob 75020fd700abea9aeeb73eaac8e3e620f3063f01	basictypes.txtar
100644 blob 7607f881f1284d8b3df10db3430e72a192f08b8b	bounds.txtar
100644 blob 473119830f9486be4d89498e03de1ee6d808c89f	bulk.txtar
100644 blob ea34b4328d64f0a9991eea4156713c82e2979599	closed_disjunction.txtar
100644 blob 3c7ba0f459c9936fccd3b22c968ba2a5243ca7d4	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 7a550de718876efe53f8c0ac2ba967e7a8db462a	disjunctions.txtar
100644 blob b35259381739db077245570dd4bef7c3b0098a58	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 0bf6cf8fac2c0e6b69e2f9813a1a32ba5c811254	github.txtar
100644 blob 6509e3f080b4d65acea8f29686c2147335fbd74b	incomplete.txtar
100644 blob d3ba6128244574ecc72a5b964549c3611b790d36	incompleteperm.txtar
100644 blob 6abbe4a00d3f51361c6566be4e6ba7bf89bc6a45	issue285.txtar
100644 blob d4955e96a74b8d1c8a41edfe0382f714a0e4b390	issue295.txtar
100644 blob 9921a918f9b52e983e27abb34ea724acf5a34992	issue349.txtar
100644 blob 906d6629fd11724ae665c1cebaa909a74e3e79b7	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 0fc38bcdba34df27eca78e06c8baf2acefc91382	resolve_basic.txtar
100644 blob 45c8bb39e785384c97c13e3df5ef768ee4e1b71d	resolve_env.txtar
100644 blob cb0b14136fa875aa7b7ea845b710331d8a3271d7	selectors.txtar
100644 blob de12aa6e90fbc3e5847f04dbda3dbc0245700d2b	structs.txtar
100644 blob 2ac87ed2f8ab7b7133d495806c5fb0af24ec9bbd	unify.txtar