vishallama/computational-category-theory vishallama/computational-category-theory

  • Stars
    star
    1
  • Language Standard ML
  • Created about 8 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vishallama/computational-category-theory
github

vishallama

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Notes and code based on the book 'Computational Category Theory'.

More Repositories

1

programming-in-scala-3rd-ed

Code examples from the book 'Programming in Scala' (3rd ed) by Martin Odersky, et al.
Scala
7
star
2

algebra-chapter0

Solutions to exercises in the book 'Algebra - Chapter 0' by Paolo Aluffi.
TeX
4
star
3

interactive_theorem_proving_and_program_development

Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
Coq
2
star
4

programming-in-standard-ml

Code examples from the book 'Programming in Standard ML' (2011) by Bob Harper.
Standard ML
2
star
5

ruby-binary-search-trees

Ruby implementation of the Binary Search Tree (BST) ADT
Ruby
1
star
6

tmux-tutorial

Tuturial for tmux (Terminal Multiplexer).
1
star