contextual-modal-type-theory

There are 0 repository under contextual-modal-type-theory topic.

• damhiya / MetaLambda

  metaprogrammingmulti-stage-programminghaskelllambda-calculusprogramming-languagemodal-type-theoryadjoint-type-theorycontextual-modal-type-theorymodal-logic
  Language:Haskell 8