https://github.com/ice1000/books

My slides and notes
https://github.com/ice1000/books

book books

Last synced: 17 days ago
JSON representation

My slides and notes

• Host: GitHub
• URL: https://github.com/ice1000/books
• Owner: ice1000
• License: mit
• Created: 2018-10-08T05:55:04.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2023-05-31T08:01:35.000Z (over 1 year ago)
• Last Synced: 2024-10-31T15:48:04.587Z (2 months ago)
• Topics: book, books
• Language: Agda
• Homepage:
• Size: 13.2 MB
• Stars: 137
• Watchers: 16
• Forks: 6
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Books and Slides

This repository has an obsolete name, it should actually be called "Slides", because it's now hosting my slides.

Contents are under CC BY-NC-SA License, source codes are under MIT License.