https://github.com/niltok/magic-in-ten-mins

十分钟魔法练习
https://github.com/niltok/magic-in-ten-mins

adt formal-proofs formal-verification functional-programming hkt java lambda-calculus monad tutorial

Last synced: 3 months ago
JSON representation

十分钟魔法练习

• Host: GitHub
• URL: https://github.com/niltok/magic-in-ten-mins
• Owner: niltok
• License: cc-by-4.0
• Created: 2020-11-09T02:18:16.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2023-09-02T02:48:22.000Z (over 1 year ago)
• Last Synced: 2024-08-01T16:26:45.115Z (6 months ago)
• Topics: adt, formal-proofs, formal-verification, functional-programming, hkt, java, lambda-calculus, monad, tutorial
• Language: HTML
• Homepage: https://magic.huohuo.moe
• Size: 31.5 MB
• Stars: 747
• Watchers: 8
• Forks: 36
• Open Issues: 2
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

• my-awesome - niltok/magic-in-ten-mins - proofs,formal-verification,functional-programming,hkt,java,lambda-calculus,monad,tutorial pushed_at:2023-09 star:0.8k fork:0.0k 十分钟魔法练习 (HTML)