Skip to content

Commit

Permalink
title
Browse files Browse the repository at this point in the history
  • Loading branch information
yegor256 committed Sep 2, 2024
1 parent e458d06 commit 5bbb93a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Confluence for πœ‘-calculus
# Proof of Confluence for πœ‘-calculus

Formalization of πœ‘-calculus variants and corresponding confluence results.

Expand Down

1 comment on commit 5bbb93a

@0crat
Copy link

@0crat 0crat commented on 5bbb93a Sep 2, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@yegor256 It is not a good idea to push directly to the default branch master. You've earned -16 points. Next time, create a new branch, push your changes over there, then make a pull request and merge it. Even if you are flying solo, contributing via pull requests is a good practice. Your running balance is +180.

Please sign in to comment.