dirty-haskell.org
: Index
It's not crazy — it's having fun with types.
Beuteltier
(
RSS
)
On the Design of Overly Complicated Feedreaders
"Type level" utilities for an overly complicated feedreader
An Update to the Type Level Utilities of an Overly Complicated Feedreader
Business Logic for an Overly Complicated Feedreader
Blog Software
(
RSS
)
…
Cursory Math-Support
Moved servers
dirty-haskell.org´s git-based publication system
Category Theory
(
RSS
)
Exercises in Category Theory — 1.1
Exercises in Category Theory — 1.2
Thermoprint
(
RSS
)
…
On the Design of a Parser
Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification
Deriving a Client Library for Interacting with Character-Oriented Printers
events
(
RSS
)
On the Design of a Turing-Complete Appointment Book
A Monad Encoding Co-Total Lists Admitting Cutoff-Rules
All Posts
(
RSS
)
…
On the Design of a Turing-Complete Appointment Book
A Monad Encoding Co-Total Lists Admitting Cutoff-Rules
dirty-haskell.org´s git-based publication system