Skip to content
Navigation Menu
Sign in
Products
Platform
GitHub
Repository hosting, code review, and collaboration
Copilot
AI coding agent for tasks, projects, and automated work
Build & Ship
Actions
CI/CD and automation
Code Quality
Quality analysis, fixes, and enforcement
Codespaces
Cloud development environments
Secure
Code Security
Vulnerability detection and remediation
Secret Protection
Secret scanning and leak prevention
All Features
Developers
Learn
Documentation
Training
Certifications
Build
Build with Copilot
Customize Copilot
Integrations
Explore
Trending repos
GitHub Sponsors
Developer articles
Changelog
Changelog
Your source for the latest features, improvements, and fixes across GitHub products, all in one place.
Businesses
By Stage
Enterprises
Team
Startups
Nonprofits
By Industry
Healthcare
Financial services
Manufacturing
Government
See all industries
Evaluate GitHub
Why GitHub
Customer Stories
Business insights
Trust Center
Add-ons
GitHub Advanced Security
Enterprise-grade code security
Copilot for business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Resources
Learn & Connect
Documentation
Resource center
Blog
Events & webinars
Community Forum
Customer Stories
Integrations
Support
Customer support
Training
GitHub Status
Company
About
Partners
Changelog
GitHub Universe
GitHub Universe
The event for developers, by developers — talks, workshops, and what’s next for GitHub.
Pricing
Search
/
Sign in
Sign up
Appearance settings
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.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Copilot-Language
copilot
Repository navigation
Code
Issues
5
(5)
Pull requests
6
(6)
Discussions
Actions
Security and quality
Insights
More
items
Commits
Breadcrumbs
History for
copilot
copilot-language
src
Copilot
Language
Stream.hs
on
develop-ltl
User selector
All users
Datepicker
All time
Commit history
Commits on Jul 7, 2023
copilot-language: Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. Refs #446.
Show description for 9f1c439
ivanperez-keera
committed
9f1c439
View commit details
Copy full SHA for 9f1c439
View code at this point
Browse repository at this point
Commits on Apr 27, 2022
Style: remove separating line in comment. Refs #316.
Show description for 5d0f158
ivanperez-keera
committed
5d0f158
View commit details
Copy full SHA for 5d0f158
View code at this point
Browse repository at this point
Style: squash multiple consecutive empty lines. Refs #316.
Show description for 799df7c
ivanperez-keera
committed
799df7c
View commit details
Copy full SHA for 799df7c
View code at this point
Browse repository at this point
Style: align PRAGMA comment brackets horizontally. Refs #316.
Show description for 0511dcc
ivanperez-keera
committed
0511dcc
View commit details
Copy full SHA for 0511dcc
View code at this point
Browse repository at this point
Commits on Apr 25, 2022
Style: list PRAGMAs in alphabetical order. Refs #316.
Show description for b5a40cb
ivanperez-keera
committed
b5a40cb
View commit details
Copy full SHA for b5a40cb
View code at this point
Browse repository at this point
Commits on Jan 12, 2022
Remove deprecated type StructArg. Refs #290.
Show description for d5a90d1
ivanperez-keera
committed
d5a90d1
View commit details
Copy full SHA for d5a90d1
View code at this point
Browse repository at this point
Commits on Nov 5, 2021
Use local Error reporting module in copilot-language. Refs #267.
Show description for 44ec96f
ivanperez-keera
committed
44ec96f
View commit details
Copy full SHA for 44ec96f
View code at this point
Browse repository at this point
Commits on Oct 19, 2021
Introduce support for floor. Refs #246.
Show description for 6a0d260
ivanperez-keera
committed
6a0d260
View commit details
Copy full SHA for 6a0d260
View code at this point
Browse repository at this point
Introduce support for ceiling. Refs #246.
Show description for 7d0e675
ivanperez-keera
committed
7d0e675
View commit details
Copy full SHA for 7d0e675
View code at this point
Browse repository at this point
Introduce support for atan2. Refs #246.
Show description for 6c11ea0
ivanperez-keera
committed
6c11ea0
View commit details
Copy full SHA for 6c11ea0
View code at this point
Browse repository at this point
Commits on Sep 16, 2021
Re-organize project in folders. Refs #248.
Show description for da084f4
ivanperez-keera
committed
da084f4
View commit details
Copy full SHA for da084f4
View code at this point
Browse repository at this point
Loading
You can’t perform that action at this time.