search

Lysxia / first-class-families

First-class type families
https://hackage.haskell.org/package/first-class-families
MIT License
86 stars 12 forks source link

Add Take, Drop and Reverse functions #21

Closed gspia closed 4 years ago

gspia commented 4 years ago

This commit adds the functions listed in the title. The implementations follow the algorithms given in Data.List for the corresponding term-level functions.

Lysxia commented 4 years ago

Can you fetch and rebase on the upstream/master branch?

gspia commented 4 years ago

How does this look now?

Lysxia commented 4 years ago

That was a merge rather than a rebase.

git reset --hard 5b49f
git rebase upstream/master
gspia commented 4 years ago

Ah, ok, sorry my bad -> how does it look now?

Lysxia commented 4 years ago

Perfect, thank you!