Commits · main · Li-yao Xia / kittens

Browse files

Apr 08, 2021
- Add Core.Iso · c2fe9a8a
  Li-yao Xia authored Apr 08, 2021
  
  c2fe9a8a
Apr 06, 2021
- README: Nit · 2bedb9aa
  Li-yao Xia authored Apr 05, 2021
  
  2bedb9aa
- README: Update related works · b9a9621f
  Li-yao Xia authored Apr 05, 2021
  
  b9a9621f
- Replace pair with primitive projections · ca52058f
  Li-yao Xia authored Apr 05, 2021
  
  ca52058f
- Nit · b66a3808
  Li-yao Xia authored Apr 05, 2021
  
  b66a3808
- README: Nit · 1076ac86
  Li-yao Xia authored Apr 05, 2021
  
  1076ac86
- Add high-level comments · 35ccf2a3
  Li-yao Xia authored Apr 05, 2021
  
  35ccf2a3
- Move Id functor to Core · a1f24640
  Li-yao Xia authored Apr 05, 2021
  
  a1f24640
- Move TypeMonad to its own module · 6b437612
  Li-yao Xia authored Apr 05, 2021
  
  6b437612
- Move list monoid to Kitty.FreeMonoid · 5bd55154
  Li-yao Xia authored Apr 05, 2021
  
  5bd55154
Apr 05, 2021
- Add LICENSE · 4f1d8c01
  Li-yao Xia authored Apr 05, 2021
  
  4f1d8c01
- README: Mention variations on monoids · 3377429d
  Li-yao Xia authored Apr 05, 2021
  
  3377429d
- Simplify nit in MonadFacts · 58fc084f
  Li-yao Xia authored Apr 05, 2021
  
  58fc084f
- Add .gitattributes for syntax highlighting · dc4c3be5
  Li-yao Xia authored Apr 05, 2021
  
  dc4c3be5
- README: Fix links · 31ab15af
  Li-yao Xia authored Apr 05, 2021
  
  31ab15af
- README: Add links · 148b60ac
  Li-yao Xia authored Apr 05, 2021
  
  148b60ac
- README: Nit · 85456486
  Li-yao Xia authored Apr 05, 2021
  
  85456486
- README: Related · 39cbdc65
  Li-yao Xia authored Apr 05, 2021
  
  39cbdc65
- README: Clarify etymology · 9ffed104
  Li-yao Xia authored Apr 05, 2021
  
  9ffed104
- Refactor settings into Core.Settings · f51b8814
  Li-yao Xia authored Apr 05, 2021
  
  f51b8814
- README: Update · b4297a91
  Li-yao Xia authored Apr 05, 2021
  
  b4297a91
- Rename FreeMonad to Kitty.FreeMonad · 627db4c6
  Li-yao Xia authored Apr 05, 2021
  
  627db4c6
- Rename FreeMonoid to Category.Monoid · ee4c9bfc
  Li-yao Xia authored Apr 05, 2021
  
  ee4c9bfc
- Move MonadMonoid and Monad_Adjunction to Core.MonadFacts · bf100536
  Li-yao Xia authored Apr 05, 2021
  
  bf100536
- Relocate Category.Product, Core.MonoidObject, Core.Tensor · c99eff76
  Li-yao Xia authored Apr 05, 2021
  
  c99eff76
- Move Monad and Adjunction to their own modules · e873cf1c
  Li-yao Xia authored Apr 05, 2021
  
  e873cf1c
- Deduplicate definition of Compose · 6d5928fb
  Li-yao Xia authored Apr 05, 2021
  
  6d5928fb
- Rename CategoryTheory to Core · ea005e5f
  Li-yao Xia authored Apr 05, 2021
  
  ea005e5f
- Move Natural into CategoryTheory · a1e6d7f0
  Li-yao Xia authored Apr 05, 2021
  
  a1e6d7f0
- Move definition of the FUNCTOR category to its own module · 9f8c0137
  Li-yao Xia authored Apr 05, 2021
  
  9f8c0137
- Move definition of the TYPE category to its own module · e0d4e74d
  Li-yao Xia authored Apr 05, 2021
  
  e0d4e74d
Apr 04, 2021
- Monoid in the category of endofunctors · cc36db45
  Li-yao Xia authored Apr 04, 2021
  
  cc36db45
- Define the monoidal category of endofunctors with composition · 6f673f38
  Li-yao Xia authored Apr 04, 2021
  
  6f673f38
- Add monoid objects · 2eff00eb
  Li-yao Xia authored Apr 03, 2021
  
  2eff00eb
- Add product categories, rephrase tensor as a functor on a product · 3d874252
  Li-yao Xia authored Apr 03, 2021
  
  3d874252
- Add operations of tensors (monoidal categories) · aac89fbb
  Li-yao Xia authored Apr 03, 2021
  
  aac89fbb
- Define natural transformations · 9dbf06c9
  Li-yao Xia authored Apr 03, 2021
  
  9dbf06c9
- Rename to Kittens, use dune · d3080a2b
  Li-yao Xia authored Apr 03, 2021
  
  d3080a2b
Jan 05, 2021
- Use Bidirectionality hints · edd051b1
  Li-yao Xia authored Jan 05, 2021
  
  edd051b1
- Use handler synonym more · 78afbae8
  Li-yao Xia authored Jan 05, 2021
  
  78afbae8