This is stars and forks stats for /svtk/lecture4-scala repository. As of 29 Apr, 2024 this repository has 2 stars and 0 forks.
Lecture#4 The code used in a lecture # 4 (28.09) Task Implement normalization of a lambda term. Lambda term should be specified like this: Appl(Abst(Var("x"), Appl(Var("x"),Var("y"))),Abst(Var("x"),Var("x"))) Use case classes and pattern matching! Send it by e-mail: [email protected] Deadline is 4 October 2012, 21:00
Lecture#4 The code used in a lecture # 4 (28.09) Task Implement normalization of a lambda term. Lambda term should be specified like this: Appl(Abst(Var("x"), Appl(Var("x"),Var("y"))),Abst(Var("x"),Var("x"))) Use case classes and pattern matching! Send it by e-mail: [email protected] Deadline is 4 October 2012, 21:00
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
OpenXiangShan/chisel-playground | ScalaMakefileShell | 34 | 0 | 13 | 0 |
jonnieey/Sc-im-Tutorial | SuperColliderScala | 62 | +1 | 9 | 0 |
broadinstitute/rawls | ScalaOther | 24 | 0 | 3 | 0 |
FasterXML/jackson-module-scala | ScalaJava | 490 | 0 | 142 | 0 |
scalacenter/scastie | ScalaSCSSShell | 410 | 0 | 100 | 0 |
broadinstitute/firecloud-ui | ClojureScalaShell | 19 | 0 | 8 | 0 |
hsk/type4 | ScalaAssemblyC | 1 | 0 | 0 | 0 |
pijokela/PushToFlowdock | Scala | 1 | 0 | 0 | 0 |
yanns/play2-scala-DI | Scala | 9 | 0 | 3 | 0 |
ponko2/android-app.g8 | Scala | 1 | 0 | 0 | 0 |