Note: These instructions will be unnecessary after Agda 2.6.0 is released.
- Clone the Agda repository.
git clone https://github.com/agda/agda.git cd agda
import XMonad | |
import XMonad.Config.Gnome | |
import qualified XMonad.StackSet as W | |
spawnToWorkspace :: String -> String -> X () | |
spawnToWorkspace program workspace = do | |
spawn program | |
windows $ W.greedyView workspace | |
Note: These instructions will be unnecessary after Agda 2.6.0 is released.
git clone https://github.com/agda/agda.git cd agda
-- This is a riddle about people's ages that I made up. Below, we solve it | |
-- using the monadic interface to lists. Here it is: | |
-- | |
-- * Jordan is either 13 years old or 16 years old | |
-- * Shen is between 3 and 5 years older than Jordan (inclusive bounds) | |
-- * Claudia is between 6 and 9 years younger than Jordan's age plus Shen's age. | |
-- * I am as old as the three aforementioned people combined. | |
-- | |
-- Given the provided information, I could have many possible ages. The monad | |
-- instance for list models this kind of nondeterminism well. Run the example |
-- create any table to use as a test dataset | |
create table test_data ( | |
id serial not null primary key, | |
data jsonb not null | |
); | |
-- insert some data! | |
insert into test_data (data) values ('{}'); | |
insert into test_data (data) values ('{}'); |
# install Homebrew | |
$ su ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" | |
# show brew commands | |
$ brew help | |
# check current user | |
$ echo $(whoami) | |
# grant access to the folders |
# feature: Add beta sequence. | |
# ^-----^ ^----------------^ | |
# | | | |
# | +-> Summary in present tense sentence. | |
# | | |
# +-------> Type: binary, chore, doc, excise, feature, fix, hack, legal, refactor, | |
# style, or test. |
(let* ((secs 100) | |
(hours (/ secs 3600)) | |
(minutes (/ (% secs 3600) 60)) | |
(seconds (% secs 60))) | |
(format "%s%s%s" | |
(if (> hours 0) | |
(format "%sh " hours) | |
"") | |
(if (> minutes 0) | |
(format "%sm " minutes) |
(require 'dash) | |
(require 's) | |
(require 'loop) | |
(require 'icons-in-terminal) | |
(defun my-char-at-point (&optional p) | |
"P." | |
(let ((point (or p (point)))) | |
(if (< point (point-max)) (buffer-substring-no-properties point (1+ point)) | |
""))) |
This is a set up for projects which want to check in only their source files, but have their gh-pages branch automatically updated with some compiled output every time they push.
A file below this one contains the steps for doing this with Travis CI. However, these days I recommend GitHub Actions, for the following reasons: