Paolo Tranquilli 192c0d5e83 Swift: simplify change note ...

Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>

2023-05-26 08:20:58 +02:00

..

consistency-queries

Swift: add change notes to consistency queries

2023-05-25 10:56:25 +02:00

examples

Swift: Add necessary .yml files.

2023-05-05 17:55:05 +01:00

lib

Swift: simplify change note

2023-05-26 08:20:58 +02:00

src

Swift: move consistency queries

2023-05-24 18:10:08 +02:00

test

Swift: remove getOpaqueExpr from OpenExistentialExpr's children

2023-05-25 13:05:21 +02:00

.generated.list

Swift: remove getOpaqueExpr from OpenExistentialExpr's children

2023-05-25 13:05:21 +02:00

.gitattributes

Swift: remove getOpaqueExpr from OpenExistentialExpr's children

2023-05-25 13:05:21 +02:00