Pinned Repositories
daig.github.io
data-constructors
Generically compare data by their constructors
diff-priv
Differential Privacy for Machine Learning
docstrings
document haskell definitions for access in the repl
intrinsic-superclasses
A quasiquoter implementation of Intrinsic Superclasses proposal
microgroove
array-backed heterogeneous records
polynomial-functors
Rethinking Inheritance with Polynomial Functors
church
Automatically convert Generic instances to and from church representations
impl
Framework for defaulting superclasses
daig's Repositories
daig/microgroove
array-backed heterogeneous records
daig/daig.github.io
daig/dtautom
decision theory automaton
daig/gemini-yolo
Jank script for buying with lower fees on gemini
daig/keylayouts
Tools for macOS .keylayout files
daig/prim
An ergonomic but conservative interface to ghc-prim
daig/polynomial-functors
Rethinking Inheritance with Polynomial Functors
daig/agda-base
daig/cabal-template
template for a new cabal project
daig/cats
Category Theory in Agda
daig/cuda
daig/cuda-playground
daig/darkmode
Template for dark themed latex
daig/dotfiles
daig/exordium-old
daig/FeedMe
A Recipe Manager for Power Users 😋
daig/haddock-cheatsheet
A documentation-only package exemplifying haddock markup features
daig/libraryTask
daig/linear-base
Standard library for linear types in Haskell.
daig/microbase
A minimal base reexporting hardwired stuff to get around GHC bugs
daig/nix-config
daig/nix-config-home
user-level configuration
daig/node-postgres
PostgreSQL client for node.js.
daig/P-func-workshop
daig/poly
daig/resume
daig/Rope-hw
daig/scripts
Convenience scripts
daig/sub.dev
daig/threadbird