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

New functions take-drop-1 and take-one-more added to Data.List.Properties #1984

Merged
merged 11 commits into from
Jun 28, 2023
Merged

New functions take-drop-1 and take-one-more added to Data.List.Properties #1984

merged 11 commits into from
Jun 28, 2023

Commits on Jun 14, 2023

  1. Added functions take-drop-1 and take-one-more to stdl Data.List.Prope… 

    …rties

Names of those functions are up to debate
    @Sofia-Insa
    Sofia-Insa committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    a044edd View commit details
    Browse the repository at this point in the history

  2. Update CHANGELOG.md 

    Add functions :
   take-drop-1  
   take-one-more 
to stdl Data.List.Propreties
    @Sofia-Insa
    Sofia-Insa authored Jun 14, 2023
    Configuration menu
    Copy the full SHA
    ddea170 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. Rename of 2 new functions of take and drop in Data.List.Properties 

    `take-one-more` to `take-suc-tabulate`
`take-drop-1` to `take-tabulate-1`

`take-tabulate-1` is now with other `take` functions
    @Sofia-Insa
    Sofia-Insa committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    d7966f5 View commit details
    Browse the repository at this point in the history

  2. Update CHANGELOG.md 

    Added `take-tabulate-1` and `take-suc-tabulate` to Data.List.Properties
    @Sofia-Insa
    Sofia-Insa authored Jun 15, 2023
    Configuration menu
    Copy the full SHA
    f6f818f View commit details
    Browse the repository at this point in the history

  3. reverse the equality in take-suc-tabulate

    @Sofia-Insa
    Sofia-Insa committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    7755edd View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2023

  1. rewritting of functions of take-one-more and take-dorp-1 using `c… 

    …ast` instead of `subst`

separation f each function into two function
`take-one-more` replaced by `take-suc`+ `take-suc-tabulate`
`take-drop-1` replaced by `drop-take-suc`+`drop-take-suc-tabulate`
    @Sofia-Insa
    Sofia-Insa committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    aa5b8fd View commit details
    Browse the repository at this point in the history

  2. Update CHANGELOG.md 

    update corresponding to rewritte of `take-one-more` and `take-drop-1`
    @Sofia-Insa
    Sofia-Insa authored Jun 19, 2023
    Configuration menu
    Copy the full SHA
    068488d View commit details
    Browse the repository at this point in the history

  3. small syntaxe modification

    @Sofia-Insa
    Sofia-Insa committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    63a33ea View commit details
    Browse the repository at this point in the history

  4. Merge branch 'new-functions-take-drop' of https:/Sofia-In… 

    …sa/agda-stdlib into new-functions-take-drop
    @Sofia-Insa
    Sofia-Insa committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    86513b5 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. change syntaxe for Fin element from o to i

    @Sofia-Insa
    Sofia-Insa committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    551515a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into new-functions-take-drop

    @Sofia-Insa
    Sofia-Insa authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    89e0df0 View commit details
    Browse the repository at this point in the history