Pinned Repositories
algebraic-actions
Concrete implementations of groups acting as modules over other types.
control-block
deep-map
Deeply nested, multiple key-type maps.
either-semigroup
Either with a stricter Semigroup instance
haskell-sql-quasiquotes
haskell-yesod-quasiquotes
hott
Implementation of (the typing rules for) homotopy type theory
hott-thesis
Homotopy Type Theory as an Alternative Foundation to Mathematics
interval-patterns
Intervals of ordered types, and their monoids under union.
language-haskell
Highlighting support for the Haskell language in visual studio code.
mixphix's Repositories
mixphix/deep-map
Deeply nested, multiple key-type maps.
mixphix/hott-thesis
Homotopy Type Theory as an Alternative Foundation to Mathematics
mixphix/interval-patterns
Intervals of ordered types, and their monoids under union.
mixphix/haskell-yesod-quasiquotes
mixphix/smtp-hs
A self-contained library for working with MIME and sending emails in Haskell.
mixphix/algebraic-actions
Concrete implementations of groups acting as modules over other types.
mixphix/control-block
mixphix/either-semigroup
Either with a stricter Semigroup instance
mixphix/haskell-sql-quasiquotes
mixphix/hott
Implementation of (the typing rules for) homotopy type theory
mixphix/language-haskell
Highlighting support for the Haskell language in visual studio code.
mixphix/list1
Lists that are not null.
mixphix/text-replace
Perform simple replacements in a text file, using a list of search/replace pairs
mixphix/vscode-language-yesod
Syntax highlighting for the Haskell Yesod web framework
mixphix/png-average
Generate an image with the progressive average of each pixel, and output the final average pixel value.
mixphix/prairie
First Class Record Fields in Haskell
mixphix/shakespeare
Haml-like template files that are compile-time checked
mixphix/yesod-form-shape
Type classes for working with HTML forms in Yesod