Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
1,197 contributions in the last year
Activity overview
Contribution activity
November 2020
Created 66 commits in 4 repositories
Created 1 repository
- Ms2ger/mathlib Lean
Created a pull request in tc39/proposal-temporal that received 4 comments
Opened 23 other pull requests in 3 repositories
tc39/proposal-temporal
1
open
20
merged
- Some Intl improvements.
- Editorial changes to Intl.
- Correct names of withTime/withDate in index.d.ts.
- Fix typos.
- Use new syntax for string literals.
- Update *FromFields calls.
- Add missing spec and polyfill code for PlainTime.withCalendar.
- Specify withCalendar for PlainDate and PlainDateTime.
- Fix IDs.
- Rename getDateTimeFor to getPlainDateTimeFor.
- Update with() methods.
- Lint the spec in CI.
- Remove options argument from MonthDay.toPlainDate.
- Update toZonedDateTime documentation.
- Update Instant.toZonedDateTime{,ISO}.
- Some editorial fixes.
- Drop the integer argument to YearMonth.toDateOnDay and rename.
- Drop the integer argument to MonthDay.toDateInYear and rename.
- Install python in the test262 Action.
- Fix getBusinessOpenStateText cookbook example.
- Handle failures in GetISO8601Calendar().
tc39/ecma402
1
open
leanprover-community/mathlib
1
merged
Reviewed 38 pull requests in 2 repositories
tc39/proposal-temporal 35 pull requests
- Some Intl improvements.
- Fill in the remaining gaps in the TimeZone spec
- More relativeTo rounding
- Remove time calendars
- Reinstate `era` in polyfill, and fix calendar subclassing
- Misc spec text gaps
- Speed up Test262 tests and improve test output
- withTime() and withDate() methods on ZonedDateTime and PlainDateTime
- Some ZonedDateTime relativeTo support
- Misc ZonedDateTime and Duration changes to support relativeTo
- 'plain' in toZonedDateTime argument properties
- Fix typo in ambiguity.md
- Add string persistence diagram to docs
- Duration.compare()
- Misc fixes
- PlainDateTime relativeTo in Duration arithmetic
- Specify ZonedDateTime.toPlain{YearMonth,MonthDay}()
- ZonedDateTime.toLocaleString() and last cookbook example
- Specification for ZonedDateTime.until/since
- Add spec text for DifferenceDate
- Fix rounding in ZonedDateTime.toString()
- polyfill: allow and ignore timezone in from
- Update ambiguity.md with latest conversion syntax
- ZonedDateTime in cookbook + various fixes
- Fix order of operations in `subtract` and direction in `since`
- Some pull request reviews not shown.