yellowsquid/bidir.git/src/Data, branch less-fin
[no description]
http://git.yellowsquid.uk/yellowsquid/bidir.git/atom?h=less-fin
2022-07-13T16:39:50Z
Prove renaming is fully congruent.
2022-07-13T16:39:50Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-13T16:39:50Z
urn:sha1:725e40acb1f79af4c12886f65b7d5226daff5707
Prove renaming is left congruent.
2022-07-13T16:14:25Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-13T16:14:25Z
urn:sha1:7fb8f4a222c9047e5db85f98be4a72f9f2a7f444
Prove alpha equivalence is an equivalence.
2022-07-13T16:13:54Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-13T16:13:54Z
urn:sha1:e98be8390fccbbb2c0aeb2ab50f8e8696bc11847
Prove alpha equivalence is transitive.
2022-07-07T21:20:39Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-07T21:20:39Z
urn:sha1:fd8eed040d6c567f85c9f7509bce60c6ed1c4cce
Prove alpha equivalence is symmetric.
2022-07-07T20:52:27Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-07T20:52:27Z
urn:sha1:027d42676f98282b9d50f5c31118c7a868ca104b
Prove alpha equivalence is reflexive.
2022-07-07T20:47:45Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-07T20:47:45Z
urn:sha1:e0a703c0428946ff5ea70f02287d5d89adbd5a9f
Prove alpha equivalence preserves free variables.
2022-07-07T16:53:24Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-07T16:53:24Z
urn:sha1:2147acd780ca4586a4fd7b045eb92611cdbb13a0
Simplify alpha equivalence.
2022-07-06T00:52:27Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-06T00:11:03Z
urn:sha1:07c4a784b46f6cfe47d1c37329051b4b5d459755
Define type.
2022-07-05T14:35:44Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-05T14:31:49Z
urn:sha1:598d444c41db753e84dcaa920f484620cd375af7
Define binary operations.
2022-07-05T13:16:02Z
Chloe Brown
chloe.brown.00@outlook.com
2022-07-05T13:16:02Z
urn:sha1:b537d8e1bb0a06bc6e07b475eb32e726c2a115a6