laurmcarter/cmtt-deriv

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created almost 9 years ago
Updated almost 9 years ago

laurmcarter/cmtt-deriv

laurmcarter

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Contextual Modal Type Theory in Haskell

type-combinators

Type level lists, pairs, sums, their operations, and their properties.

scheme-monads

Framework for defining and using monads in Chez Scheme

string-typelits

A Haskell library providing type level 'String's, with decidable equality

xmonad-config

Configuration file and extra modules for nifty XMonad usage.

type-combinators-quote

Quasiquoters for the 'type-combinators' library.

docs

scheme-html

scheme shorthand for HTML and PHP

linear-logic-game-semantics

Timespace

Exploration of tradeoff between time and space under isomorphisms.

elm-johnny-five

topoi

An Agda library for implementing and working with category (and eventually, topos) theory.

harihara

A web interface to your music library.