https://github.com/kaoudis/category-theory-exercises

Working through the lectures at https://www.youtube.com/user/DrBartosz in Lua. WIP
https://github.com/kaoudis/category-theory-exercises

Last synced: about 2 months ago
JSON representation

Working through the lectures at https://www.youtube.com/user/DrBartosz in Lua. WIP

• Host: GitHub
• URL: https://github.com/kaoudis/category-theory-exercises
• Owner: kaoudis
• License: mit
• Created: 2020-09-13T18:35:33.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-09-13T22:15:09.000Z (over 4 years ago)
• Last Synced: 2024-10-31T00:43:58.138Z (2 months ago)
• Language: Lua
• Size: 7.81 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# [WIP] category-theory-exercises

I'm slowly (and in random order) working through Bartosz Milewski's category theory lectures https://www.youtube.com/user/DrBartosz in Lua. You can also find a PDF of the book that goes with the lectures here: https://github.com/hmemcpy/milewski-ctfp-pdf.

## Running Tests

I'm using `busted` which is a simple unit test framework. I may add a script to run all the tests eventually, but for now:

```

lua_modules/bin/busted spec/.lua

```

## Style

I'm generally trying to follow https://github.com/Olivine-Labs/lua-style-guide.