Skip to content

Pull requests: reilabs/lampe

New pull request New
Clear current search query, filters, and sorts
1 Open 33 Closed
1 Open 33 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Nat generics
#54 by utkn was merged Jan 30, 2025 Loading… Milestone 1
1
End to end test
#53 by mpenciak was merged Jan 30, 2025 Loading… Milestone 1
1
TraitAsType support
#52 by utkn was merged Jan 28, 2025 Loading… Milestone 1
1
Pattern support enhancement New feature or request
#41 by utkn was merged Jan 24, 2025 Loading… Milestone 1
@utkn
1
Format Strings (kind of) enhancement New feature or request
#40 by mpenciak was merged Jan 24, 2025 Loading… Milestone 1
2
TraitAsType support enhancement New feature or request
#39 by utkn was closed Jan 24, 2025 Loading…
7 tasks done
Milestone 1
@utkn
5
Add Lean testing framework
#38 by mpenciak was merged Jan 17, 2025 Loading…
1
Update Noir version to 1.0.0-beta.1
#37 by utkn was merged Jan 17, 2025 Loading…
1
@utkn
3
String literals
#36 by mpenciak was merged Jan 16, 2025 Loading…
5
Various small enhancements enhancement New feature or request
#33 by utkn was merged Jan 15, 2025 Loading…
@utkn
chore: bump lean and mathlib to 4.15.0
#32 by mpenciak was merged Jan 13, 2025 Loading…
2 tasks done
1
Minimize Mathlib imports
#31 by mpenciak was merged Jan 8, 2025 Loading…
Higher order functions
#30 by utkn was merged Jan 8, 2025 Loading…
Higher order functions enhancement New feature or request
#29 by utkn was merged Jan 8, 2025 Loading…
@utkn
2
Lens support enhancement New feature or request
#28 by utkn was merged Jan 3, 2025 Loading…
1
@utkn
1
Extended tuple, array, slice support enhancement New feature or request
#27 by utkn was merged Dec 30, 2024 Loading…
@utkn
Calldecl support enhancement New feature or request
#26 by utkn was merged Dec 27, 2024 Loading…
@utkn
Cast builtin and syntax refinements enhancement New feature or request
#25 by utkn was merged Dec 27, 2024 Loading…
@utkn
Extractor improvements enhancement New feature or request
#24 by utkn was merged Jan 13, 2025 Loading…
@utkn
1
Struct support enhancement New feature or request
#22 by utkn was merged Dec 12, 2024 Loading…
1
@utkn
3
Trait support enhancement New feature or request
#20 by utkn was merged Dec 6, 2024 Loading…
1
@utkn
1
Basic traits
#18 by kustosz was merged Nov 26, 2024 Loading…
Traits
#17 by kustosz was closed Nov 19, 2024 Loading…
Lambda support enhancement New feature or request
#16 by utkn was merged Dec 2, 2024 Loading…
1
@utkn
17
Update to Lean v4.12.0 enhancement New feature or request
#15 by utkn was merged Nov 13, 2024 Loading…
@utkn
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.