issues
search
ohnosequences
/
stuff
Useful stuff.
GNU Affero General Public License v3.0
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Release 0.2.0
#29
eparejatobes
closed
7 years ago
0
separate syntax, at least at the source level
#28
eparejatobes
closed
7 years ago
1
Update build
#27
eparejatobes
closed
8 years ago
0
Review natural transformations
#26
eparejatobes
closed
7 years ago
0
monoidal functors need to leave source and target free
#25
eparejatobes
closed
8 years ago
1
monad morphisms and kleisli liftings
#24
eparejatobes
opened
8 years ago
0
Improve on Codacy issues
#23
laughedelic
closed
8 years ago
0
Better names for type members
#22
eparejatobes
closed
8 years ago
8
Monoids
#21
eparejatobes
closed
7 years ago
1
Slice categories
#20
eparejatobes
closed
6 years ago
0
Monoidal functor composition
#19
eparejatobes
closed
7 years ago
4
Set up Travis and Codacy
#18
eparejatobes
closed
8 years ago
4
Abstract properties checks
#17
laughedelic
closed
6 years ago
0
Dagger categories
#16
laughedelic
closed
7 years ago
3
experiment with local-implicits style syntax
#15
eparejatobes
closed
7 years ago
2
Release 0.1.1
#14
eparejatobes
closed
8 years ago
0
Improve syntax for monoidal structures
#13
eparejatobes
closed
8 years ago
0
Add cocartesian structure on kleisli categories
#12
eparejatobes
closed
8 years ago
2
add adjunctions
#11
eparejatobes
closed
7 years ago
0
Add opposite category
#10
eparejatobes
closed
8 years ago
0
add unique lax monoidal structure for functors between cocartesian categories
#9
eparejatobes
closed
8 years ago
0
add colax monoidal functors
#8
eparejatobes
closed
8 years ago
1
Remove stale natural transformations code
#7
eparejatobes
closed
8 years ago
0
move Scala stuff to std
#6
eparejatobes
closed
8 years ago
1
Release 0.1.0
#5
eparejatobes
closed
8 years ago
0
organize syntax
#4
eparejatobes
closed
8 years ago
0
add cartesian monoidal structures
#3
eparejatobes
closed
8 years ago
2
should std stuff go in here?
#2
eparejatobes
closed
7 years ago
2
Working experiment
#1
eparejatobes
closed
8 years ago
3
Previous