Skip to content

Commit

Permalink
change log entry
Browse files Browse the repository at this point in the history
  • Loading branch information
mrjazzybread committed Jul 31, 2024
1 parent f6ee1f4 commit 4023535
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@
[#406] (https://github.com/ocaml-gospel/gospel/pull/406)
- Display an error message when encoutering a Functor application
[#404] (https://github.com/ocaml-gospel/gospel/pull/404)
- Changed the gospel typechecker to use bool as the type of logical formulae
[\#391](https://github.com/ocaml-gospel/gospel/pull/391)

# 0.3

Expand Down

0 comments on commit 4023535

Please sign in to comment.