From 060b1352ecc1cf227dabf2ade5194f4f2d135313 Mon Sep 17 00:00:00 2001
From: Correl <correl@gmail.com>
Date: Fri, 11 Mar 2022 21:12:26 -0500
Subject: [PATCH] updates

---
 20200711113241-haskell.org        | 21 ++++++++++++++++++++-
 20220311205850-type_inference.org |  4 ++++
 WillKurt2718.org                  | 16 ++++++++++++++++
 3 files changed, 40 insertions(+), 1 deletion(-)
 create mode 100644 20220311205850-type_inference.org
 create mode 100644 WillKurt2718.org

diff --git a/20200711113241-haskell.org b/20200711113241-haskell.org
index fd94ff8..8a4f8bd 100644
--- a/20200711113241-haskell.org
+++ b/20200711113241-haskell.org
@@ -3,8 +3,27 @@
 :END:
 #+title: Haskell
 
-A pure [[id:68cedf67-0f59-4a06-9344-77d946129653][functional programming]] language.
+- Family :: ML
+- File extensions :: .hs
 
+A pure [[id:68cedf67-0f59-4a06-9344-77d946129653][functional programming]] language with [[id:1882370a-e4df-42a3-ab5a-32b650b754a6][Static Typing]] and full [[id:d6ed0927-3fbd-46b1-93db-503bd7177148][Type
+Inference]].
+
+* Installation
+** GHCup
+https://www.haskell.org/ghcup/
+
+An installation tool for the Glasgow Haskell Compiler, the stack and cabal build
+tools, the Haskell Language Server, and more.
+
+: curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
+* Build tools
+- [[https://www.haskell.org/cabal/][cabal]] :: A system for buildng and packaging Haskell libraries and programs.
+- [[https://www.haskellstack.org][stack]] :: Build projects while managing dependencies.
+* REPLs
+- ghci :: The Glasgow Haskell Compiler interactive environment.
+* Language Servers
+- [[https://github.com/haskell/haskell-language-server][hls]] :: The Haskell Language Server
 * Resources
 ** [[id:7c8bd8bb-3fe8-4c50-8a43-b8a48e482ef5][Haskell Programming from first principles]]
 ** [[https://www.seas.upenn.edu/~cis194/fall16/][CIS 194: Introduction to Haskell (Fall 2016)]]
diff --git a/20220311205850-type_inference.org b/20220311205850-type_inference.org
new file mode 100644
index 0000000..6a5652c
--- /dev/null
+++ b/20220311205850-type_inference.org
@@ -0,0 +1,4 @@
+:PROPERTIES:
+:ID:       d6ed0927-3fbd-46b1-93db-503bd7177148
+:END:
+#+title: Type Inference
diff --git a/WillKurt2718.org b/WillKurt2718.org
new file mode 100644
index 0000000..c07b44e
--- /dev/null
+++ b/WillKurt2718.org
@@ -0,0 +1,16 @@
+:PROPERTIES:
+:ID:       6ce50155-471d-490a-baf0-865b75547611
+:ROAM_REFS: @WillKurt2718
+:END:
+#+title: Notes on Will Kurt, Get Programming with Haskell
+
+#+begin_quote
+John Backus, who led the team that created Fortran, asked in his Turing Award
+lecture, “Can programming be liberated from the von Neumann style?”
+
+This question leads to the second way to understand programming, which is the
+subject of the first unit in this book. [[id:68cedf67-0f59-4a06-9344-77d946129653][Functional programming]] attempts to
+liberate programming from the von Neumann style.
+#+end_quote
+
+#+print_bibliography: