PrototypeCommon
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
- Owner
- ilya-klyuchnikov (personal account)
- Stars
- Stars: 189
- Forks
- Forks: 22
- Language
- Scala
- License
- None
- Created
- 2012
- Topics
- taplprogramming-languagestype-checkingtype-inference
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ilya-klyuchnikov
All 3 repos by ilya-klyuchnikov- ilya-klyuchnikov/ttliteStars: 125ScalaPrototype
- ilya-klyuchnikov/lambdapiStars: 118HaskellPrototype
Nearby in Scala
All Scala repos- typelevel/grackleStars: 189ScalaPrototype
- trace4cats/trace4catsStars: 189ScalaPrototype
- fauna/faunadbStars: 189ScalaPrototype
- mdr/ascii-graphsStars: 189ScalaPrototype
- sbt-doctest/sbt-doctestStars: 189ScalaPrototype
- ScalaConsultants/reactive-rabbitStars: 189ScalaPrototype