Pinned Loading

1. met-oopsla25-artifact met-oopsla25-artifact Public

   Haskell 2

2. shl-popl24-artifact shl-popl24-artifact Public

   OCaml

3. links-lang/links links-lang/links Public

   Links: Linking Theory to Practice for the Web

   OCaml 349 47

4. lambdaSC lambdaSC Public

   A Calculus for Scoped Effects and Handlers

   Haskell 4

5. lambdaQ lambdaQ Public

   λQ: A Simple Quantum Programming Language.

   Haskell 6 1

6. PKU-Beamer-Theme PKU-Beamer-Theme Public

   基于Metropolis修改的北大风格Beamer主题

   TeX 27 1