| CARVIEW |
Select Language
HTTP/2 200
date: Mon, 29 Dec 2025 00:25:59 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"113eec2069d7224de7343c0b5f55c91e"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: no-referrer-when-downgrade
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.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 *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com/ copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=qQuvufxfNgIA5YPtgLa%2F14QKFYZ3FDNaMxXEfVlKvQdg8Cj6uE7CyXow924gf4YV4mJ5CnBN%2BCyn3HenmMmjBnz09MQhfRi7XG4L8hl3bf52By%2B8HJADU78OEh%2BDBGvRqqVbmrWJaQdDHEbh0IC7Z243%2Ft717IygRCSg%2BbYQaz9bj2A5A8PgJHm83NQSk5YiVIyHZsuAjugzP4GYbkCIPmr48Fbk2PZxOmUo1sDKRn%2FP7VWQOkyT5EOgls%2FreSQNxHms0B1a%2Bm166091b%2F68Jw%3D%3D--yreZ8FeJIT%2Bph0d9--gLIhM%2FspvDu8PXsOaicpdQ%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.954171222.1766967958; Path=/; Domain=github.com; Expires=Tue, 29 Dec 2026 00:25:58 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Tue, 29 Dec 2026 00:25:58 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: C728:3FD896:557E76F:678A858:6951CA96
GitHub · Where software is built
Search
Skip to content
Navigation Menu
{{ message }}
-
Notifications
You must be signed in to change notification settings - Fork 25
Issues
is:issue state:open
is:issue state:open
Search results
Simple profiling for the pipeline
good first issueGood for newcomersGood for newcomersStatus: Open.Declaration of parameters in sequences of named parameters
0. parsingThings related to lexer and parserThings related to lexer and parser1. type inferenceType inference and the Unif languageType inference and the Unif languageStatus: Open.Holes
1. type inferenceType inference and the Unif languageType inference and the Unif language2. effect inferenceEffect inference and the ConE languageEffect inference and the ConE languageStatus: Open.Concrete syntax for handler types
0. parsingThings related to lexer and parserThings related to lexer and parserStatus: Open.Implement <code>ignoreExistential</code> attribute.
0. parsingThings related to lexer and parserThings related to lexer and parserStatus: Open.Refactor structure of tests for standard library.
good first issueGood for newcomersGood for newcomersstdlibWork on standard libraryWork on standard libraryStatus: Open.Qualified imports
0. parsingThings related to lexer and parserThings related to lexer and parser1. type inferenceType inference and the Unif languageType inference and the Unif languageStatus: Open.Syntax for empty lambda abstraction with named parameters.
0. parsingThings related to lexer and parserThings related to lexer and parsergood first issueGood for newcomersGood for newcomersStatus: Open.Named parameters of piped methods are not recognized by the parser
0. parsingThings related to lexer and parserThings related to lexer and parsergood first issueGood for newcomersGood for newcomersStatus: Open.Vector module
stdlibWork on standard libraryWork on standard libraryStatus: Open.Escaping type variables in some recursive functions
1. type inferenceType inference and the Unif languageType inference and the Unif languageStatus: Open.- Status: Open.
You can’t perform that action at this time.