Summary
- merged
- yet another applicative functor
The file was added | thys/Applicative_Lifting/Applicative_Vector.thy |
The file was modified | thys/Applicative_Lifting/Applicative_Functor.thy (diff) |
The file was added | thys/Applicative_Lifting/Applicative_Vector.thy |
The file was modified | thys/Applicative_Lifting/Applicative_Functor.thy (diff) |