Skip to content
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

Jump to bottom

StrictTotalOrder for Integer and others #21

Closed
mechvel opened this issue Jun 18, 2014 · 5 comments
Closed

StrictTotalOrder for Integer and others #21

mechvel opened this issue Jun 18, 2014 · 5 comments
Assignees
@MatthewDaggitt
Labels
addition

Comments

@mechvel
Copy link
Contributor

mechvel commented Jun 18, 2014

I have a code for StrictTotalOrder for Integer and some others items
-- to propose as an addition to Standard library. (the modules Nat1 and Integer1).
But how to attach here the .zip file?
@mechvel
Copy link
Contributor Author

mechvel commented Jul 4, 2014

At least, it is possible at
http://www.botik.ru/pub/local/Mechveliani/agdaNotes/natIntExtProposal.zip

@Fuuzetsu
Copy link

Fuuzetsu commented Jul 5, 2014

FTR you can't attach files on GitHub.

@MatthewDaggitt MatthewDaggitt self-assigned this Jun 27, 2017
This was referenced Jun 27, 2017
Closed
Merged
@MatthewDaggitt
Copy link
Contributor

I'm in the process of merging your work in on PR #146. Would you like to be added to the list of contributors in README.agda? If so under what name?

@mechvel
Copy link
Contributor Author

mechvel commented Jun 29, 2017 via email

@MatthewDaggitt
Copy link
Contributor

Finished adding the proofs in f6b4b52

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MatthewDaggitt MatthewDaggitt

Labels
addition
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Fuuzetsu @mechvel @MatthewDaggitt