bi-directional tangle daemon for literate programming

Collections of papers and books about Haskell, Type Theory and Category Theory

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…