Skip to content

Commit a581f2e

Browse files
committed
Initial content for 'Inference Rules'
1 parent 037b631 commit a581f2e

File tree

2 files changed

+2054
-553
lines changed

2 files changed

+2054
-553
lines changed

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -53,6 +53,8 @@ node_modules/
5353

5454
# Various local files
5555
.vscode
56+
57+
# Local files
5658
.DS_Store
5759
hs_err_*
5860
# Backup and temp files - various tools

0 commit comments

Comments
 (0)