Skip to content

Commit

Permalink
[ changelog ] Update
Browse files Browse the repository at this point in the history
  • Loading branch information
ice1000 committed Aug 23, 2019
1 parent 33541c8 commit 924019e
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,11 @@
# 0.1.1

+ Update typing rule for `cons`
+ Support record construction parsing, type-checking, conversion checking,
reduction and inference (#146, #147)
+ Support empty record and variants (#154)
+ `Closure` is now a variant (#149)
+ More unification rules

# 0.1.0

Expand Down

0 comments on commit 924019e

Please sign in to comment.