lp:~scompall/+junk/scalaz-functor-proofs

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

10. By Stephen Compall on 2017-03-15

Start on homomorphism proof

9. By Stephen Compall on 2017-03-15

Compiles in idris 0.99.1

8. By Stephen Compall on 2017-03-15

Updates for idris 0.99.1

7. By Stephen Compall on 2014-11-23

altLeftZero isn't free.

6. By Stephen Compall on 2014-11-23

Check totality; test Applicative identity, first free theorem required.

5. By Stephen Compall on 2014-11-22

Reorder definitions.

4. By Stephen Compall on 2014-11-18

Alternative laws

3. By Stephen Compall on 2014-11-17

Aliases for the Applicative laws.

2. By Stephen Compall on 2014-11-17

Usable aliases; Applicative instance.

1. By Stephen Compall on 2014-11-16

Prove OneAnd is Functor.