| 0a0Symptote | |
| 0x19f | |
| 118Yoshimura | |
| 12gBlackE | |
| 14682 | |
| 1to100pen | |
| 310_ktr | |
| 4_mio_11_old | |
| 4th_No_Fon | |
| 54nano_fairy |
| aiya_gorira | |
| chomado | |
| functional_bot | |
| gishohaku | |
| gorilla0513 | |
| kaoriya | |
| kmett | |
| kmuto | |
| qiitahaskell | |
| rbtnn |
| { | |
| "App1": { | |
| "ApplicationName": "Record VRC With Xbox Game Bar", | |
| "FilePath": "recordVRC.bat", | |
| "WorkingDirectory": "./Scripts", | |
| "Arguments": "", | |
| "StartupDialogMainText": "Record VRC with Xbox Game Bar?", | |
| "StartupDialogSubText": "押すごとに録画開始/録画終了を行う", | |
| "MinimumLaunch": true | |
| }, |
archlinux-java archlinux-java
COMMAND: status List installed Java environments and enabled one get Return the short name of the Java environment set as default set <JAVA_ENV> Force <JAVA_ENV> as default unset Unset current default Java environment fix Fix an invalid/broken default Java environment configuration
| { | |
| module Main where | |
| import Debug.Trace | |
| } | |
| %error { parseError } | |
| %errorhandlertype explist | |
| %monad { Either String } | |
| %name parseFoo Foo |
| { | |
| module Main where | |
| } | |
| %error { parseError } | |
| %errorhandlertype explist | |
| %monad { Either String } | |
| %name parseFoo | |
| %tokentype { Char } |
| {-# LANGUAGE TypeApplications #-} | |
| module Tim.Lexer (lex, lexer, symbol, literal, ident) where | |
| import Control.Lens ((+=)) | |
| import Control.Monad.State.Class (get) | |
| import Data.Generics.Product (field) | |
| import qualified Data.Text as Text | |
| import RIO | |
| import qualified Text.Megaparsec as P |
| #!/bin/bash | |
| # 2560x1080 + 1920x1080 = 4480x1080 | |
| /mnt/c/Program\ Files/VcXsrv/vcxsrv.exe \ | |
| -ac \ | |
| -keyhook \ | |
| -screen 0 2560x1080 \ | |
| -wgl \ | |
| -nodecoration \ | |
| +xinerama \ |
//talkleft[eta-thinking]{
もう1つ、簡単な関手Δ_2を考えてみよう。
関手Δ_2は、Depthの全ての対象を、Breadthの対象4に写すよ。
//}
//list[definition-functor-delta2][関手Δ_2 : Depth -> Breadth][]{
―― 対象関数
∀X ∈ ob(Depth)
Δ_2(X) = 2
//talkleft[eta-arms]{
あと1つだけ、紹介したい概念があるんだけど……
疲れた？
少し休む？
//}
//talkright[mu-saying]{
うんん。