René's URL Explorer Experiment


Title: GitHub - lambda-magic/cubicaltt: Experimental implementation of Cubical Type Theory

Open Graph Title: GitHub - lambda-magic/cubicaltt: Experimental implementation of Cubical Type Theory

X Title: GitHub - lambda-magic/cubicaltt: Experimental implementation of Cubical Type Theory

Description: Experimental implementation of Cubical Type Theory - lambda-magic/cubicaltt

Open Graph Description: Experimental implementation of Cubical Type Theory - lambda-magic/cubicaltt

X Description: Experimental implementation of Cubical Type Theory - lambda-magic/cubicaltt

Opengraph URL: https://github.com/lambda-magic/cubicaltt

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:d4686e52-86e9-3df3-6081-711f172e122f
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idCBFE:4E9AA:A628DA:DE59D2:698F7263
html-safe-nonceba2c7600d303d5d44a7a7e1585d68caf56211e97270ad2ebc9ad719d0b3d469b
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDQkZFOjRFOUFBOkE2MjhEQTpERTU5RDI6Njk4RjcyNjMiLCJ2aXNpdG9yX2lkIjoiNzQyNDE0MTcxMjEyODE3NjczOSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac51be4760cae09bbcb2d15c31022fdd2b28a5dae35a0b37352e06b72d7cbff381
hovercard-subject-tagrepository:316082979
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/lambda-magic/cubicaltt
twitter:imagehttps://opengraph.githubassets.com/30fc626b8c8807115214d66dd7d82024d488a3ee7991fc0bffb32d2874ec701b/lambda-magic/cubicaltt
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/30fc626b8c8807115214d66dd7d82024d488a3ee7991fc0bffb32d2874ec701b/lambda-magic/cubicaltt
og:image:altExperimental implementation of Cubical Type Theory - lambda-magic/cubicaltt
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonea40913be56b49e6322246e4bcd65ab6ec4b458c6dca6b691d30419da1e5ee35e
turbo-cache-controlno-preview
go-importgithub.com/lambda-magic/cubicaltt git https://github.com/lambda-magic/cubicaltt.git
octolytics-dimension-user_id72347087
octolytics-dimension-user_loginlambda-magic
octolytics-dimension-repository_id316082979
octolytics-dimension-repository_nwolambda-magic/cubicaltt
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forktrue
octolytics-dimension-repository_parent_id31368174
octolytics-dimension-repository_parent_nwomortberg/cubicaltt
octolytics-dimension-repository_network_root_id31368174
octolytics-dimension-repository_network_root_nwomortberg/cubicaltt
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releaseca6051e0ba2303370981e3d01e2bc1044eb3b429
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Flambda-magic%2Fcubicaltt
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Flambda-magic%2Fcubicaltt
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=lambda-magic%2Fcubicaltt
Reloadhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
Reloadhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
Reloadhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
lambda-magic https://patch-diff.githubusercontent.com/lambda-magic
cubicaltthttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
mortberg/cubicaltthttps://patch-diff.githubusercontent.com/mortberg/cubicaltt
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Flambda-magic%2Fcubicaltt
Fork 0 https://patch-diff.githubusercontent.com/login?return_to=%2Flambda-magic%2Fcubicaltt
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2Flambda-magic%2Fcubicaltt
arxiv.org/abs/1611.02108https://arxiv.org/abs/1611.02108
MIT license https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/LICENSE
0 stars https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/stargazers
76 forks https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/forks
Branches https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/branches
Tags https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tags
Activity https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2Flambda-magic%2Fcubicaltt
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Flambda-magic%2Fcubicaltt
Code https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
Pull requests 0 https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/pulls
Actions https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/actions
Projects 0 https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/projects
Security 0 https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/security
Insights https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/pulse
Code https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
Pull requests https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/pulls
Actions https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/actions
Projects https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/projects
Security https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/security
Insights https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/pulse
Brancheshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/branches
Tagshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tags
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/branches
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tags
688 Commitshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/commits/master/
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/commits/master/
exampleshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tree/master/examples
exampleshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tree/master/examples
experimentshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tree/master/experiments
experimentshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tree/master/experiments
lectureshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tree/master/lectures
lectureshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tree/master/lectures
utilshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tree/master/utils
utilshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tree/master/utils
.gitignorehttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/.gitignore
.travis.ymlhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/.travis.yml
.travis.ymlhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/.travis.yml
CTT.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/CTT.hs
CTT.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/CTT.hs
Connections.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Connections.hs
Connections.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Connections.hs
Eval.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Eval.hs
Eval.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Eval.hs
Exp.cfhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Exp.cf
Exp.cfhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Exp.cf
GNUmakefilehttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/GNUmakefile
GNUmakefilehttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/GNUmakefile
LICENSEhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/LICENSE
LICENSEhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/LICENSE
Main.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Main.hs
Main.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Main.hs
Makefilehttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Makefile
Makefilehttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Makefile
README.mdhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/README.md
README.mdhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/README.md
Resolver.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Resolver.hs
Resolver.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Resolver.hs
Setup.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Setup.hs
Setup.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/Setup.hs
TypeChecker.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/TypeChecker.hs
TypeChecker.hshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/TypeChecker.hs
cubicaltt.cabalhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/cubicaltt.cabal
cubicaltt.cabalhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/cubicaltt.cabal
cubicaltt.elhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/cubicaltt.el
cubicaltt.elhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/cubicaltt.el
cubicaltt.vimhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/cubicaltt.vim
cubicaltt.vimhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/cubicaltt.vim
stack.yamlhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/stack.yaml
stack.yamlhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/blob/master/stack.yaml
READMEhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
MIT licensehttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#cubical-type-theory
Cubical Type Theoryhttp://www.cse.chalmers.se/~coquand/cubicaltt.pdf
cubicalhttps://github.com/simhu/cubical
exampleshttps://github.com/mortberg/cubicaltt/tree/master/examples#cubical-type-theory-examples
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#install
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#cabal
cabalhttps://www.haskell.org/cabal/
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#make
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#stack
stackhttps://haskellstack.org/
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#usage
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#references-and-notes
Cubical Type Theory: a constructive interpretation of the univalence axiomhttp://www.cse.chalmers.se/~coquand/cubicaltt.pdf
Canonicity for Cubical Type Theoryhttps://arxiv.org/abs/1607.04156
univalent foundationshttp://www.math.ias.edu/vladimir/home
http://homotopytypetheory.org/http://homotopytypetheory.org/
Cubical Type Theoryhttp://www.cse.chalmers.se/~coquand/face.pdf
thishttp://www.cse.chalmers.se/~coquand/face.pdf
Internal version of the uniform Kan filling conditionhttp://www.cse.chalmers.se/~coquand/shape.pdf
A category of cubical setshttp://www.cse.chalmers.se/~coquand/vv.pdf
hoqhttps://github.com/valis/hoq/
herehttps://docs.google.com/viewer?a=v&pid=forums&srcid=MTgzMDE5NzAyNTk5NDUxMjg3MDABMDQ5MTM3MjY5Nzc5MzY3ODYzNjABT3A0QWRIempiZTBKATAuMQEBdjI
A Cubical Approach to Synthetic Homotopy Theoryhttp://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf
Type Theory in Colorhttp://www.cse.chalmers.se/~bernardy/CCCC.pdf
A simple type-theoretic language: Mini-TThttp://www.cse.chalmers.se/~bengt/papers/GKminiTT.pdf
A cubical set model of type theoryhttp://www.cse.chalmers.se/~coquand/model1.pdf
An equivalent presentation of the Bezem-Coquand-Huber category of cubical setshttp://arxiv.org/abs/1401.7807
Remark on singleton typeshttp://www.cse.chalmers.se/~coquand/singl.pdf
Note on Kripke modelhttp://www.cse.chalmers.se/~coquand/countermodel.pdf
https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#authors
arxiv.org/abs/1611.02108https://arxiv.org/abs/1611.02108
Readme https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#readme-ov-file
MIT license https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt#MIT-1-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt
Activityhttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/activity
Custom propertieshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/custom-properties
0 starshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/stargazers
0 watchinghttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/watchers
0 forkshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Flambda-magic%2Fcubicaltt&report=lambda-magic+%28user%29
Releaseshttps://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/releases
1 tags https://patch-diff.githubusercontent.com/lambda-magic/cubicaltt/tags
Packages 0https://patch-diff.githubusercontent.com/orgs/lambda-magic/packages?repo_name=cubicaltt
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.