https://github.com/disco-lang/disco

Functional teaching language for use in a discrete mathematics course
https://github.com/disco-lang/disco

discrete-mathematics functional-programming programming-language teaching

Last synced: about 1 month ago
JSON representation

Functional teaching language for use in a discrete mathematics course

• Host: GitHub
• URL: https://github.com/disco-lang/disco
• Owner: disco-lang
• License: other
• Created: 2016-06-09T13:51:41.000Z (over 8 years ago)
• Default Branch: main
• Last Pushed: 2024-08-15T05:26:26.000Z (4 months ago)
• Last Synced: 2024-08-21T00:29:06.030Z (4 months ago)
• Topics: discrete-mathematics, functional-programming, programming-language, teaching
• Language: TeX
• Homepage:
• Size: 19.3 MB
• Stars: 158
• Watchers: 6
• Forks: 22
• Open Issues: 51
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project