diff --git a/src/css/mk.css b/src/css/mk.css index 1180a25..b6d9bc7 100644 --- a/src/css/mk.css +++ b/src/css/mk.css @@ -252,8 +252,8 @@ figure, .figure { --b02: #2b313c; --b01: #656b74; --b00: #727781; - --b0: #8b919b; - --b1: #989ea8; + --b0: #989ea8; + --b1: #b0bac7; --b2: #e5e8ed; --b3: #f4f7ff; --y: #a98d50; @@ -285,11 +285,11 @@ img { :root { /* Dark */ --bg: var(--b03); - --fg: var(--b1); + --fg: var(--b0); --fg0: var(--b00); --bg2: var(--b02); --fg2: var(--b1); - --rfg: var(--b2); + --rfg: var(--b1); --rbg: var(--b02); --bdr: var(--b02); --l-fg: var(--bg); @@ -302,11 +302,11 @@ img { #d:checked ~ .main, #d:checked ~ #labels { --bg: var(--b03); - --fg: var(--b1); + --fg: var(--b0); --fg0: var(--b00); --bg2: var(--b02); --fg2: var(--b1); - --rfg: var(--b2); + --rfg: var(--b1); --rbg: var(--b02); --bdr: var(--b02); --l-fg: var(--bg); diff --git a/src/posts/0010-Haskell-Now/index.org b/src/posts/0010-Haskell-Now/index.org index 5a44d33..a0c45ad 100644 --- a/src/posts/0010-Haskell-Now/index.org +++ b/src/posts/0010-Haskell-Now/index.org @@ -4111,28 +4111,28 @@ Thank you man. As of today, the definition of =IO= is no more visible into =base=. We have the following explanation in [[http://hackage.haskell.org/package/base-4.12.0.0/docs/src/GHC.IO.html][=GHC.IO.hs=]]: #+begin_quote - #+begin_src - The IO Monad is just an instance of the ST monad, where the state is - the real world. We use the exception mechanism (in GHC.Exception) to - implement IO exceptions. - - NOTE: The IO representation is deeply wired in to various parts of the - system. The following list may or may not be exhaustive: - - Compiler - types of various primitives in PrimOp.hs - - RTS - forceIO (StgStartup.cmm) - - catchzh_fast, (un)?blockAsyncExceptionszh_fast, raisezh_fast - (Exception.cmm) - - raiseAsync (RaiseAsync.c) - - Prelude - GHC.IO.hs, and several other places including - GHC.Exception.hs. - - Libraries - parts of hslibs/lang. - - --SDM - #+end_src +#+begin_src +The IO Monad is just an instance of the ST monad, where the state is +the real world. We use the exception mechanism (in GHC.Exception) to +implement IO exceptions. + +NOTE: The IO representation is deeply wired in to various parts of the +system. The following list may or may not be exhaustive: + +Compiler - types of various primitives in PrimOp.hs + +RTS - forceIO (StgStartup.cmm) + - catchzh_fast, (un)?blockAsyncExceptionszh_fast, raisezh_fast + (Exception.cmm) + - raiseAsync (RaiseAsync.c) + +Prelude - GHC.IO.hs, and several other places including + GHC.Exception.hs. + +Libraries - parts of hslibs/lang. + +--SDM +#+end_src #+end_quote [fn:7] Well, you'll certainly need to practice a bit to get used to them