milessabin/strangeloop-2013

Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013

语言：Scala · GitHub 星标：11 · Fork：1

在 GitHub 上查看原仓库