HTTP/2 302
server: nginx
date: Wed, 06 Aug 2025 19:30:29 GMT
content-type: text/plain; charset=utf-8
content-length: 0
x-archive-redirect-reason: found capture at 20201202012556
location: https://web.archive.org/web/20201202012556/https://github.com/andygill
server-timing: captures_list;dur=0.905154, exclusion.robots;dur=0.029972, exclusion.robots.policy;dur=0.013079, esindex;dur=0.013901, cdx.remote;dur=20.512167, LoadShardBlock;dur=372.187207, PetaboxLoader3.datanode;dur=159.606347, PetaboxLoader3.resolve;dur=117.040658
x-app-server: wwwb-app203
x-ts: 302
x-tr: 454
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1
set-cookie: wb-p-SERVER=wwwb-app203; path=/
x-location: All
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
HTTP/2 200
server: nginx
date: Wed, 06 Aug 2025 19:30:30 GMT
content-type: text/html; charset=utf-8
x-archive-orig-date: Wed, 02 Dec 2020 01:25:57 GMT
x-archive-orig-server: GitHub.com
x-archive-orig-status: 200 OK
x-archive-orig-vary: X-Requested-With, Accept-Encoding, Accept, X-Requested-With, Accept-Encoding
x-archive-orig-etag: W/"fb3a8e4e720494d215e0abf4798846fd"
x-archive-orig-cache-control: max-age=0, private, must-revalidate
x-archive-orig-strict-transport-security: max-age=31536000; includeSubdomains; preload
x-archive-orig-x-frame-options: deny
x-archive-orig-x-content-type-options: nosniff
x-archive-orig-x-xss-protection: 1; mode=block
x-archive-orig-referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin
x-archive-orig-expect-ct: max-age=2592000, report-uri="https://api.github.com/_private/browser/errors"
x-archive-orig-content-security-policy: default-src 'none'; base-uri 'self'; block-all-mixed-content; connect-src 'self' uploads.github.com www.githubstatus.com collector.githubapp.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com cdn.optimizely.com logx.optimizely.com/v1/events wss://alive.github.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com; frame-ancestors 'none'; frame-src render.githubusercontent.com; img-src 'self' data: github.githubassets.com identicons.github.com collector.githubapp.com github-cloud.s3.amazonaws.com *.githubusercontent.com; manifest-src 'self'; media-src 'none'; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; worker-src github.com/socket-worker.js gist.github.com/socket-worker.js
x-archive-orig-set-cookie: _gh_sess=ZMCIQ2NyPlIbkxANHwwZarmn6xCHG%2FfPnzLHiT44qaxpkpbAAKdOC6yZEL8O9Rthron9BJ2hqAEiXQCxnpJ0vQDfLNOX%2BTTSkZ6qO4cErW23jceEKn8quZvTaTXe6mX5EPlnWRlOhwdezTMk7hiSN6W906z4Tu%2BDoRzs81HUyGVgKPbNQ2WuCFRWmMV%2B5NGB2vK0ahgUEZkTAq7c3YyobcBWOrU6im4Gyq2DzrWtpNetmllF9UBjnyW966go7FUmBDVk0oFj4ChgjEJjChsgeQ%3D%3D--Ea2X%2B%2BsfqzH3odlQ--xcyBKFU1IWL9gw%2BW%2FQIRow%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
x-archive-orig-set-cookie: _octo=GH1.1.304127177.1606872356; Path=/; Domain=github.com; Expires=Thu, 02 Dec 2021 01:25:56 GMT; Secure; SameSite=Lax
x-archive-orig-set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Thu, 02 Dec 2021 01:25:56 GMT; HttpOnly; Secure; SameSite=Lax
x-archive-orig-accept-ranges: bytes
x-archive-orig-transfer-encoding: chunked
x-archive-orig-x-github-request-id: D152:52AB:2150C6:2B7E76:5FC6ECF3
x-archive-guessed-content-type: text/html
x-archive-guessed-charset: utf-8
x-archive-orig-content-encoding: gzip
memento-datetime: Wed, 02 Dec 2020 01:25:56 GMT
link:
; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate", ; rel="first memento"; datetime="Wed, 02 Dec 2020 01:25:56 GMT", ; rel="memento"; datetime="Wed, 02 Dec 2020 01:25:56 GMT", ; rel="next memento"; datetime="Mon, 07 Apr 2025 19:56:46 GMT", ; rel="last memento"; datetime="Mon, 07 Apr 2025 19:56:46 GMT"
content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org
x-archive-src: spn2-20201202013606/spn2-20201201235557-wwwb-spn20.us.archive.org-8003.warc.gz
server-timing: captures_list;dur=0.585219, exclusion.robots;dur=0.022233, exclusion.robots.policy;dur=0.010915, esindex;dur=0.011789, cdx.remote;dur=29.134255, LoadShardBlock;dur=384.309722, PetaboxLoader3.datanode;dur=178.818617, PetaboxLoader3.resolve;dur=384.225903, load_resource;dur=379.738212
x-app-server: wwwb-app203
x-ts: 200
x-tr: 909
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
x-location: All
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
content-encoding: gzip
andygill (Andy Gill) · GitHub
Highlights
Arctic Code Vault Contributor
Organizations
Dismiss
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Popular repositories
An implementation of the reactivity model used in O'Haskell and TIMBER
Haskell
6
2
Combinators for rewriting arbitrary syntax trees that have scoping
Haskell
6
2
An implementation of System-F, and combinators for rewriting it.
Haskell
6
Kit for building QuickCheck like testing tools.
Haskell
5
A bridge from Haskell (on a CPU) to VHDL on a FPGA.
Haskell
5
1
A simple websever with an interact style API
Haskell
4
8
607 contributions
in the last year
Dec
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Sun
Mon
Tue
Wed
Thu
Fri
Sat
Contribution activity
December 2020
andygill has no activity
yet for this period.
November 2020
Created 119
commits in
5
repositories
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
We use optional third-party analytics cookies to understand how you use GitHub.com so we can build better products.
Learn more .
Accept
Reject
We use optional third-party analytics cookies to understand how you use GitHub.com so we can build better products.
You can always update your selection by clicking Cookie Preferences at the bottom of the page.
For more information, see our Privacy Statement .
Essential cookies
We use essential cookies to perform essential website functions, e.g. they're used to log you in.
Learn more
Always active
Analytics cookies
We use analytics cookies to understand how you use our websites so we can make them better, e.g. they're used to gather information about the pages you visit and how many clicks you need to accomplish a task.
Learn more
Save preferences