Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history 
gitignore
  • Loading branch information
@artoy
artoy committed Mar 19, 2024
1 parent b0b5055 commit 6eabb96
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,3 +27,4 @@ paper/related_work.tex
paper/semantics.tex
paper/typesystem.tex
paper/wf_rules.tex
src/test/to_mochi.ml

0 comments on commit 6eabb96

Please sign in to comment.