Skip to content

[ admin ] .gitignore additions. #1792

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 24 commits into from
Jul 25, 2022
Merged

[ admin ] .gitignore additions. #1792

Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
27746d8
Temporary check-in.
capn-freako May 5, 2022
65989fd
Last linearity axiom proved.
capn-freako May 8, 2022
c057439
Merge branch 'master' of https://github.com/agda/agda-stdlib
capn-freako May 8, 2022
2d7abea
Final edits before initial pull request.
capn-freako May 8, 2022
b6c7519
Second attempt at PR1767.
capn-freako May 11, 2022
7c205f9
Removed some unneeded `public`s.
capn-freako May 13, 2022
ea73683
Shifted to proof-local reasoning module openning, as per Jacques.
capn-freako May 14, 2022
c9c8798
Eliminated unneccesary `x`, as per Jacques.
capn-freako May 14, 2022
c18c68a
Reverted to `f` from semantic brackets, as per Jacques.
capn-freako May 14, 2022
caabb3a
Switched to `A.<op>` notation, as per Jacques.
capn-freako May 14, 2022
3c11956
Changes requested by Matthew Daggitt.
capn-freako May 15, 2022
88e5c2a
Temporary check-in only!
capn-freako May 21, 2022
d2da8f0
Changes, as per Matthew Daggitt, re: PR #1767
capn-freako May 21, 2022
c5de4d1
Responding to Jacques feedback.
capn-freako May 29, 2022
2c17a8d
Merge branch 'master' of https://github.com/agda/agda-stdlib
capn-freako Jul 13, 2022
b790ffb
Clean-up after merging in upstream master.
capn-freako Jul 13, 2022
48ad48c
Some additions to `.gitignore`.
capn-freako Jul 13, 2022
8b0a487
Responding to Matthew`s requests.
capn-freako Jul 15, 2022
aec2203
Responding to additional requests from Matthew.
capn-freako Jul 16, 2022
b6da4e9
Responding to Matthew`s final requests.
capn-freako Jul 19, 2022
be44f32
Tweak to CHANGELOG
MatthewDaggitt Jul 19, 2022
63aec07
Merge branch 'master' of https://github.com/agda/agda-stdlib
capn-freako Jul 20, 2022
0ad8e72
Merge branch 'master' of github.com:capn-freako/agda-stdlib
capn-freako Jul 20, 2022
a9490cd
Merge branch 'master' into gitignore
capn-freako Jul 24, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,8 @@
*.vim
*~
.*.swp
.#*
\#*
./_build/*
.DS_Store
.vscode/*
Expand Down