--- title: "home lib" output: markdown bibliography: [db.bib, design.bib, fp.bib, sink.bib, logic.bib, langs/haskell.bib, langs/R.bib] --- ## Функциональщина - [@func-design-architecture] - [@fp-practice] ## ОМП - [@haskell-road-to-logic] - [@computation-intro] ## Теория языков программирования - [@github-plt] - [@plf-agda] - [@Misra2023Jan] ## Логика - [@huth2004logic] ## Базы данных - [@db-core] ## Языки ### R - [@advanced-R] ### Haskell - [@Hutton2016Sep] - [@haskell-in-depth] - [@github-software-design-in-haskell] - [@github-awesome-haskell]