BetaRare
niltok/magic-in-ten-mins
十分钟魔法练习
- Owner
- niltok (personal account)
- Stars
- Stars: 815
- Forks
- Forks: 42
- Language
- HTML
- License
- CC-BY-4.0
- Created
- 2020
- Topics
- adtjavamonadlambda-calculusfunctional-programminghkttutorialformal-verificationformal-proofs
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in HTML
All HTML repos- jxnblk/geomicons-openStars: 815HTMLBeta
- zqzess/MyWebStorageStars: 815HTMLBeta
- UMich-CURLY-teaching/UMich-ROB-530-publicStars: 815HTMLBeta
- mislav/poignant-guideStars: 814HTMLBeta