Title: GitHub - jphmrst/PLC at fall2020
Open Graph Title: GitHub - jphmrst/PLC at fall2020
X Title: GitHub - jphmrst/PLC at fall2020
Description: An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF. - GitHub - jphmrst/PLC at fall2020
Open Graph Description: An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF. - GitHub - jphmrst/PLC at fall2020
X Description: An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF. - GitHub - jphmrst/PLC at fall2020
Opengraph URL: https://web.archive.org/web/20220810155032/https://github.com/jphmrst/PLC
X: @github
Domain: web.archive.org
| optimizely-datafile | {"groups": [], "environmentKey": "production", "rollouts": [], "typedAudiences": [], "projectId": "16737760170", "variables": [], "featureFlags": [], "experiments": [{"status": "Running", "audienceIds": [], "variations": [{"variables": [], "id": "20667381018", "key": "control"}, {"variables": [], "id": "20680930759", "key": "treatment"}], "id": "20652570897", "key": "project_genesis", "layerId": "20672300363", "trafficAllocation": [{"entityId": "20667381018", "endOfRange": 5000}, {"entityId": "20680930759", "endOfRange": 10000}], "forcedVariations": {"83356e17066d336d1803024138ecb683": "treatment", "18e31c8a9b2271332466133162a4aa0d": "treatment", "10f8ab3fbc5ebe989a36a05f79d48f32": "treatment", "1686089f6d540cd2deeaec60ee43ecf7": "treatment"}}, {"status": "Running", "audienceIds": [], "variations": [{"variables": [], "id": "21427950901", "key": "control"}, {"variables": [], "id": "21429710665", "key": "beginner"}, {"variables": [], "id": "21437291543", "key": "upstart"}], "id": "21445030708", "key": "_259_zero_user_dashboard", "layerId": "21434011841", "trafficAllocation": [{"entityId": "21427950901", "endOfRange": 3334}, {"entityId": "21427950901", "endOfRange": 5000}, {"entityId": "21427950901", "endOfRange": 8333}, {"entityId": "21427950901", "endOfRange": 10000}], "forcedVariations": {"3c64268131793aa297119a343c19e345": "beginner", "95b24126db31ea8693c0fe5ea9f53b65": "beginner", "086e2abe64e9101112af53b95d2d90b9": "upstart", "bae688df9d297afac98e2d254e912ada": "control", "6c2cfda7c41396fcc31a4db759a42b94": "beginner", "16ed2b4ff7de02663b7c606309695916": "control", "1971768911.1635962195": "beginner", "830bf802470ec6c9c5800c99d8e57445": "beginner"}}, {"status": "Running", "audienceIds": [], "variations": [{"variables": [], "id": "21454052779", "key": "control"}, {"variables": [], "id": "21450922535", "key": "redesign"}], "id": "21486342806", "key": "_261_downgrade", "layerId": "21478441323", "trafficAllocation": [{"entityId": "21454052779", "endOfRange": 5000}, {"entityId": "21450922535", "endOfRange": 10000}], "forcedVariations": {"60c046ae30e9007c321e5539ae1738b5": "redesign"}}, {"status": "Running", "audienceIds": [], "variations": [{"variables": [], "id": "21540260416", "key": "variant_fetch_upstream"}, {"variables": [], "id": "21551370594", "key": "variant_sync_fork"}], "id": "21532540507", "key": "fork_syncing", "layerId": "21510660568", "trafficAllocation": [{"entityId": "21551370594", "endOfRange": 5000}, {"entityId": "21551370594", "endOfRange": 10000}], "forcedVariations": {"bcceffdcc63834cc146ddb8cce0c556d": "variant_sync_fork", "0bd228f43ec6ac1a9eb9087f4e2471e6": "variant_sync_fork", "404ee4d837b290b3089170d9226758ea": "variant_sync_fork"}}, {"status": "Running", "audienceIds": [], "variations": [{"variables": [], "id": "21672251105", "key": "control"}, {"variables": [], "id": "21636601473", "key": "primer"}, {"variables": [], "id": "21663911434", "key": "growth"}, {"variables": [], "id": "21673341369", "key": "brand"}], "id": "21685100630", "key": "_241_onboard_users_to_protect_branches", "layerId": "21696970697", "trafficAllocation": [{"entityId": "21672251105", "endOfRange": 825}, {"entityId": "21636601473", "endOfRange": 2310}, {"entityId": "21636601473", "endOfRange": 2500}, {"entityId": "21636601473", "endOfRange": 2830}, {"entityId": "21636601473", "endOfRange": 3135}, {"entityId": "21636601473", "endOfRange": 3310}, {"entityId": "21663911434", "endOfRange": 3325}, {"entityId": "21663911434", "endOfRange": 3980}, {"entityId": "21636601473", "endOfRange": 3995}, {"entityId": "21663911434", "endOfRange": 4170}, {"entityId": "21663911434", "endOfRange": 5000}, {"entityId": "21663911434", "endOfRange": 5155}, {"entityId": "21663911434", "endOfRange": 5330}, {"entityId": "21663911434", "endOfRange": 5825}, {"entityId": "21672251105", "endOfRange": 6000}, {"entityId": "21672251105", "endOfRange": 7500}, {"entityId": "21673341369", "endOfRange": 7830}, {"entityId": "21673341369", "endOfRange": 8325}, {"entityId": "21673341369", "endOfRange": 9330}, {"entityId": "21673341369", "endOfRange": 10000}], "forcedVariations": {"409007617793ebd1e12654adf87047d0": "growth", "3977d8a7a265a13d734f3edf9226214c": "primer", "bcf588169e3ac842af083a5a54708563": "growth"}}], "version": "4", "audiences": [{"conditions": "[\"or\", {\"match\": \"exact\", \"name\": \"$opt_dummy_attribute\", \"type\": \"custom_attribute\", \"value\": \"$opt_dummy_value\"}]", "id": "$opt_dummy_audience", "name": "Optimizely-Generated Audience for Backwards Compatibility"}], "anonymizeIP": true, "sdkKey": "WTc6awnGuYDdG98CYRban", "attributes": [{"id": "16822470375", "key": "user_id"}, {"id": "17143601254", "key": "spammy"}, {"id": "18175660309", "key": "organization_plan"}, {"id": "18813001570", "key": "is_logged_in"}, {"id": "19073851829", "key": "geo"}, {"id": "20175462351", "key": "requestedCurrency"}, {"id": "20785470195", "key": "country_code"}, {"id": "21656311196", "key": "opened_downgrade_dialog"}], "botFiltering": false, "accountId": "16737760170", "events": [{"experimentIds": [], "id": "17911811441", "key": "hydro_click.dashboard.teacher_toolbox_cta"}, {"experimentIds": [], "id": "18124116703", "key": "submit.organizations.complete_sign_up"}, {"experimentIds": [], "id": "18145892387", "key": "no_metric.tracked_outside_of_optimizely"}, {"experimentIds": [], "id": "18178755568", "key": "click.org_onboarding_checklist.add_repo"}, {"experimentIds": [], "id": "18180553241", "key": "submit.repository_imports.create"}, {"experimentIds": [], "id": "18186103728", "key": "click.help.learn_more_about_repository_creation"}, {"experimentIds": [], "id": "18188530140", "key": "test_event"}, {"experimentIds": [], "id": "18191963644", "key": "click.empty_org_repo_cta.transfer_repository"}, {"experimentIds": [], "id": "18195612788", "key": "click.empty_org_repo_cta.import_repository"}, {"experimentIds": [], "id": "18210945499", "key": "click.org_onboarding_checklist.invite_members"}, {"experimentIds": [], "id": "18211063248", "key": "click.empty_org_repo_cta.create_repository"}, {"experimentIds": [], "id": "18215721889", "key": "click.org_onboarding_checklist.update_profile"}, {"experimentIds": [], "id": "18224360785", "key": "click.org_onboarding_checklist.dismiss"}, {"experimentIds": [], "id": "18234832286", "key": "submit.organization_activation.complete"}, {"experimentIds": [], "id": "18252392383", "key": "submit.org_repository.create"}, {"experimentIds": [], "id": "18257551537", "key": "submit.org_member_invitation.create"}, {"experimentIds": [], "id": "18259522260", "key": "submit.organization_profile.update"}, {"experimentIds": [], "id": "18564603625", "key": "view.classroom_select_organization"}, {"experimentIds": [], "id": "18568612016", "key": "click.classroom_sign_in_click"}, {"experimentIds": [], "id": "18572592540", "key": "view.classroom_name"}, {"experimentIds": [], "id": "18574203855", "key": "click.classroom_create_organization"}, {"experimentIds": [], "id": "18582053415", "key": "click.classroom_select_organization"}, {"experimentIds": [], "id": "18589463420", "key": "click.classroom_create_classroom"}, {"experimentIds": [], "id": "18591323364", "key": "click.classroom_create_first_classroom"}, {"experimentIds": [], "id": "18591652321", "key": "click.classroom_grant_access"}, {"experimentIds": [], "id": "18607131425", "key": "view.classroom_creation"}, {"experimentIds": [], "id": "18831680583", "key": "upgrade_account_plan"}, {"experimentIds": [], "id": "19064064515", "key": "click.signup"}, {"experimentIds": [], "id": "19075373687", "key": "click.view_account_billing_page"}, {"experimentIds": [], "id": "19077355841", "key": "click.dismiss_signup_prompt"}, {"experimentIds": [], "id": "19079713938", "key": "click.contact_sales"}, {"experimentIds": [], "id": "19120963070", "key": "click.compare_account_plans"}, {"experimentIds": ["21685100630"], "id": "19151690317", "key": "click.upgrade_account_cta"}, {"experimentIds": [], "id": "19424193129", "key": "click.open_account_switcher"}, {"experimentIds": [], "id": "19520330825", "key": "click.visit_account_profile"}, {"experimentIds": [], "id": "19540970635", "key": "click.switch_account_context"}, {"experimentIds": [], "id": "19730198868", "key": "submit.homepage_signup"}, {"experimentIds": [], "id": "19820830627", "key": "click.homepage_signup"}, {"experimentIds": [], "id": "19988571001", "key": "click.create_enterprise_trial"}, {"experimentIds": [], "id": "20036538294", "key": "click.create_organization_team"}, {"experimentIds": [], "id": "20040653299", "key": "click.input_enterprise_trial_form"}, {"experimentIds": [], "id": "20062030003", "key": "click.continue_with_team"}, {"experimentIds": [], "id": "20068947153", "key": "click.create_organization_free"}, {"experimentIds": [], "id": "20086636658", "key": "click.signup_continue.username"}, {"experimentIds": [], "id": "20091648988", "key": "click.signup_continue.create_account"}, {"experimentIds": [], "id": "20103637615", "key": "click.signup_continue.email"}, {"experimentIds": [], "id": "20111574253", "key": "click.signup_continue.password"}, {"experimentIds": [], "id": "20120044111", "key": "view.pricing_page"}, {"experimentIds": [], "id": "20152062109", "key": "submit.create_account"}, {"experimentIds": [], "id": "20165800992", "key": "submit.upgrade_payment_form"}, {"experimentIds": [], "id": "20171520319", "key": "submit.create_organization"}, {"experimentIds": [], "id": "20222645674", "key": "click.recommended_plan_in_signup.discuss_your_needs"}, {"experimentIds": [], "id": "20227443657", "key": "submit.verify_primary_user_email"}, {"experimentIds": [], "id": "20234607160", "key": "click.recommended_plan_in_signup.try_enterprise"}, {"experimentIds": [], "id": "20238175784", "key": "click.recommended_plan_in_signup.team"}, {"experimentIds": [], "id": "20239847212", "key": "click.recommended_plan_in_signup.continue_free"}, {"experimentIds": [], "id": "20251097193", "key": "recommended_plan"}, {"experimentIds": [], "id": "20438619534", "key": "click.pricing_calculator.1_member"}, {"experimentIds": [], "id": "20456699683", "key": "click.pricing_calculator.15_members"}, {"experimentIds": [], "id": "20467868331", "key": "click.pricing_calculator.10_members"}, {"experimentIds": [], "id": "20476267432", "key": "click.trial_days_remaining"}, {"experimentIds": [], "id": "20476357660", "key": "click.discover_feature"}, {"experimentIds": [], "id": "20479287901", "key": "click.pricing_calculator.custom_members"}, {"experimentIds": [], "id": "20481107083", "key": "click.recommended_plan_in_signup.apply_teacher_benefits"}, {"experimentIds": [], "id": "20483089392", "key": "click.pricing_calculator.5_members"}, {"experimentIds": ["20652570897"], "id": "20484283944", "key": "click.onboarding_task"}, {"experimentIds": [], "id": "20484996281", "key": "click.recommended_plan_in_signup.apply_student_benefits"}, {"experimentIds": [], "id": "20486713726", "key": "click.onboarding_task_breadcrumb"}, {"experimentIds": [], "id": "20490791319", "key": "click.upgrade_to_enterprise"}, {"experimentIds": [], "id": "20491786766", "key": "click.talk_to_us"}, {"experimentIds": [], "id": "20494144087", "key": "click.dismiss_enterprise_trial"}, {"experimentIds": ["20652570897"], "id": "20499722759", "key": "completed_all_tasks"}, {"experimentIds": ["20652570897"], "id": "20500710104", "key": "completed_onboarding_tasks"}, {"experimentIds": [], "id": "20513160672", "key": "click.read_doc"}, {"experimentIds": ["20652570897"], "id": "20516196762", "key": "actions_enabled"}, {"experimentIds": [], "id": "20518980986", "key": "click.dismiss_trial_banner"}, {"experimentIds": [], "id": "20535446721", "key": "click.issue_actions_prompt.dismiss_prompt"}, {"experimentIds": [], "id": "20557002247", "key": "click.issue_actions_prompt.setup_workflow"}, {"experimentIds": [], "id": "20595070227", "key": "click.pull_request_setup_workflow"}, {"experimentIds": [], "id": "20626600314", "key": "click.seats_input"}, {"experimentIds": [], "id": "20642310305", "key": "click.decrease_seats_number"}, {"experimentIds": [], "id": "20662990045", "key": "click.increase_seats_number"}, {"experimentIds": [], "id": "20679620969", "key": "click.public_product_roadmap"}, {"experimentIds": [], "id": "20761240940", "key": "click.dismiss_survey_banner"}, {"experimentIds": [], "id": "20767210721", "key": "click.take_survey"}, {"experimentIds": ["20652570897"], "id": "20795281201", "key": "click.archive_list"}, {"experimentIds": [], "id": "20966790249", "key": "contact_sales.submit"}, {"experimentIds": [], "id": "20996500333", "key": "contact_sales.existing_customer"}, {"experimentIds": [], "id": "20996890162", "key": "contact_sales.blank_message_field"}, {"experimentIds": [], "id": "21000470317", "key": "contact_sales.personal_email"}, {"experimentIds": [], "id": "21002790172", "key": "contact_sales.blank_phone_field"}, {"experimentIds": ["21445030708"], "id": "21354412592", "key": "click.dismiss_create_readme"}, {"experimentIds": ["21445030708"], "id": "21366102546", "key": "click.dismiss_zero_user_content"}, {"experimentIds": [], "id": "21370252505", "key": "account_did_downgrade"}, {"experimentIds": ["21445030708"], "id": "21370840408", "key": "click.cta_create_readme"}, {"experimentIds": ["21445030708"], "id": "21375451068", "key": "click.cta_create_new_repository"}, {"experimentIds": ["21445030708"], "id": "21385390948", "key": "click.zero_user_content"}, {"experimentIds": [], "id": "21467712175", "key": "click.downgrade_keep"}, {"experimentIds": ["21486342806"], "id": "21484112202", "key": "click.downgrade"}, {"experimentIds": [], "id": "21495292213", "key": "click.downgrade_survey_exit"}, {"experimentIds": [], "id": "21508241468", "key": "click.downgrade_survey_submit"}, {"experimentIds": [], "id": "21512030356", "key": "click.downgrade_support"}, {"experimentIds": ["21486342806"], "id": "21539090022", "key": "click.downgrade_exit"}, {"experimentIds": ["21532540507"], "id": "21543640644", "key": "click_fetch_upstream"}, {"experimentIds": ["21685100630"], "id": "21646510300", "key": "click.move_your_work"}, {"experimentIds": ["21685100630"], "id": "21656151116", "key": "click.add_branch_protection_rule"}, {"experimentIds": [], "id": "21663860599", "key": "click.downgrade_dialog_open"}, {"experimentIds": ["21685100630"], "id": "21687860483", "key": "click.learn_about_protected_branches"}, {"experimentIds": ["21685100630"], "id": "21689050333", "key": "click.dismiss_protect_this_branch"}, {"experimentIds": [], "id": "21864370109", "key": "click.sign_in"}], "revision": "1337"} |
| request-id | 9396:060F:870798:1225950:62F3D3C8 |
| html-safe-nonce | fc7e9c6d1c79b46f5527317d49af39870d2d15e27a5cdff9c28d15e20fb33725 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5Mzk2OjA2MEY6ODcwNzk4OjEyMjU5NTA6NjJGM0QzQzgiLCJ2aXNpdG9yX2lkIjoiNDAxOTUwOTQ2NzA1MTk3MTUyOCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 555de7133649dc50734fc595302c7396f4d255e28a82ce4071473b744cc5dfe9 |
| hovercard-subject-tag | repository:277902474 |
| github-keyboard-shortcuts | repository,source-code |
| google-site-verification | GXs5KoUUkNCoaAZn7wPN-t01Pywp9M3sEjnt_3_ZWPc |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905 |
| twitter:image:src | https://opengraph.githubassets.com/a05a7cc6d8783774a75658c8e11a927b350049d1d02da1ab4c5e99b67be11182/jphmrst/PLC |
| twitter:card | summary_large_image |
| og:image | https://web.archive.org/web/20220810155032im_/https://opengraph.githubassets.com/a05a7cc6d8783774a75658c8e11a927b350049d1d02da1ab4c5e99b67be11182/jphmrst/PLC |
| og:image:alt | An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF. - GitHub - jphmrst/PLC at fall2020 |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| enabled-features | IMAGE_METRIC_TRACKING,GEOJSON_AZURE_MAPS |
| None | 912aff0e4ff698f5c4e186d5111e164e34b1debd49164e14b5d827fc96a12862 |
| turbo-cache-control | no-preview |
| go-import | github.com/jphmrst/PLC git https://github.com/jphmrst/PLC.git |
| octolytics-dimension-user_id | 551043 |
| octolytics-dimension-user_login | jphmrst |
| octolytics-dimension-repository_id | 277902474 |
| octolytics-dimension-repository_nwo | jphmrst/PLC |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | true |
| octolytics-dimension-repository_parent_id | 84554235 |
| octolytics-dimension-repository_parent_nwo | plfa/plfa.github.io |
| octolytics-dimension-repository_network_root_id | 84554235 |
| octolytics-dimension-repository_network_root_nwo | plfa/plfa.github.io |
| turbo-body-classes | logged-out env-production page-responsive |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| browser-optimizely-client-errors-url | https://api.github.com/_private/browser/optimizely_client/errors |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width