You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Yann Esposito (Yogsototh) eade755b77
add generated images
3 years ago
..
README.md initial commit 8 years ago
abstraction.mp initial commit 8 years ago
abstraction.png add generated images 3 years ago
associativecomposition.mp initial commit 8 years ago
associativecomposition.png add generated images 3 years ago
boxfunctor.mp initial commit 8 years ago
boxfunctor.png add generated images 3 years ago
cat-example1.mp initial commit 8 years ago
cat-example1.png add generated images 3 years ago
cat-example2.mp initial commit 8 years ago
cat-example2.png add generated images 3 years ago
cat-example3.mp initial commit 8 years ago
cat-example3.png add generated images 3 years ago
cat-example4.mp initial commit 8 years ago
cat-example4.png add generated images 3 years ago
cat-example5.mp initial commit 8 years ago
cat-example5.png add generated images 3 years ago
cat-hask-endofunctor.mp initial commit 8 years ago
cat-hask-endofunctor.png add generated images 3 years ago
commutative-diagram-assoc.mp initial commit 8 years ago
commutative-diagram-assoc.png add generated images 3 years ago
commutative-diagram-id.mp initial commit 8 years ago
commutative-diagram-id.png add generated images 3 years ago
composition.mp initial commit 8 years ago
composition.png add generated images 3 years ago
endofunctor.mp initial commit 8 years ago
endofunctor.png add generated images 3 years ago
functor-morphism-color.mp initial commit 8 years ago
functor-morphism-color.png add generated images 3 years ago
functor-morphism.mp initial commit 8 years ago
functor-morphism.png add generated images 3 years ago
functor.mp initial commit 8 years ago
functor.png add generated images 3 years ago
graph-category.mp initial commit 8 years ago
graph-category.png add generated images 3 years ago
hask-endofunctor-morphisms.mp initial commit 8 years ago
hask-endofunctor-morphisms.png add generated images 3 years ago
hask-endofunctor-objects.mp initial commit 8 years ago
hask-endofunctor-objects.png add generated images 3 years ago
hask-endofunctor.mp initial commit 8 years ago
hask-endofunctor.png add generated images 3 years ago
hask.mp initial commit 8 years ago
hask.png add generated images 3 years ago
identity.mp initial commit 8 years ago
identity.png add generated images 3 years ago
list-maybe-endofunctor-morphism.mp initial commit 8 years ago
list-maybe-endofunctor-morphism.png add generated images 3 years ago
list-tree-endofunctor-morphism.mp initial commit 8 years ago
list-tree-endofunctor-morphism.png add generated images 3 years ago
maybe-list-endofunctor-morphsm.mp initial commit 8 years ago
maybe-list-endofunctor-morphsm.png add generated images 3 years ago
monoid.mp initial commit 8 years ago
monoid.png add generated images 3 years ago
morphisms.mp initial commit 8 years ago
morphisms.png add generated images 3 years ago
nattrans-list-maybe.mp initial commit 8 years ago
nattrans-list-maybe.png add generated images 3 years ago
nattrans-list-tree.mp initial commit 8 years ago
nattrans-list-tree.png add generated images 3 years ago
nattrans-maybe-list.mp initial commit 8 years ago
nattrans-maybe-list.png add generated images 3 years ago
nattrans-tree-list.mp initial commit 8 years ago
nattrans-tree-list.png add generated images 3 years ago
natural-transformation.mp initial commit 8 years ago
natural-transformation.png add generated images 3 years ago
numbers.mp initial commit 8 years ago
numbers.png add generated images 3 years ago
objects.mp initial commit 8 years ago
objects.png add generated images 3 years ago
pipe.mp initial commit 8 years ago
pipe.png add generated images 3 years ago
preorder.mp initial commit 8 years ago
preorder.png add generated images 3 years ago
set.mp initial commit 8 years ago
set.png add generated images 3 years ago
strings.mp initial commit 8 years ago
strings.png add generated images 3 years ago
tree-list-endofunctor-morphism.mp initial commit 8 years ago
tree-list-endofunctor-morphism.png add generated images 3 years ago

README.md

Examples

Put the mp file in the upper directory then just run ./gen in the upper directory.