Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: adjoint-type-theory

damhiya/MetaLambda

Language: Haskell - Size: 108 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

Related Keywords
adjoint-type-theory 1 contextual-modal-type-theory 1 haskell 1 lambda-calculus 1 metaprogramming 1 modal-logic 1 modal-type-theory 1 multi-stage-programming 1 programming-language 1