@@ -1,3 +1,11 @@
3+* support multiple extend expressions in TutorialD
4+* fix parsing of Bool atoms in TutorialD
5+* fix database context expressions which include self-references such as `s:=s union s`
6+* show constraints as TutorialD when using tutd console
7+* add `RelationalExprAtom` data type useful for storing `RelationalExpr` within the database
1# 2020-10-05 (v0.8.1)
9# 2020-10-05 (v0.8.1)
3* support GHC 8.10
11* support GHC 8.10