https://github.com/jcouyang/meow

Catless Category Theory in Dotty/Scala 3 meow ~
https://github.com/jcouyang/meow

category-theory dotty kan-extensions scala

Last synced: about 1 year ago
JSON representation

Catless Category Theory in Dotty/Scala 3 meow ~

• Host: GitHub
• URL: https://github.com/jcouyang/meow
• Owner: jcouyang
• License: apache-2.0
• Created: 2020-03-28T11:38:14.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2023-03-07T10:16:05.000Z (over 3 years ago)
• Last Synced: 2025-04-04T09:05:23.596Z (over 1 year ago)
• Topics: category-theory, dotty, kan-extensions, scala
• Language: Scala
• Homepage: https://oyanglul.us/meow
• Size: 1.08 MB
• Stars: 43
• Watchers: 4
• Forks: 5
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README