Skip to content

Develop #34

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
fabriceHategekimana merged 56 commits into from
Oct 1, 2026
Merged

Develop #34

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
73d6b54
rfc-0000: resolve the three open design questions
fabriceHategekimana Sep 12, 2026
5aadbb7
rfc-0028: accept and rename to PR number
fabriceHategekimana Sep 12, 2026
e184721
Merge pull request #28 from we-data-ch/rfc-0000-resolve-open-questions
fabriceHategekimana Sep 12, 2026
d85f8d9
Implement RFC 0028: make untyped R functions callable
fabriceHategekimana Sep 12, 2026
303004e
Merge pull request #30 from we-data-ch/implement-rfc-0028-untyped-r-f…
fabriceHategekimana Sep 12, 2026
6164464
rfc-0000: propose external type definitions (J2)
fabriceHategekimana Sep 12, 2026
c57588e
rfc-0000: fill in the PR number now that #31 is open
fabriceHategekimana Sep 12, 2026
f36a5bf
update
fabriceHategekimana Sep 12, 2026
260d5aa
rfc-0031: accept External type definitions (J2)
fabriceHategekimana Sep 12, 2026
3ada507
Merge pull request #31 from we-data-ch/rfc-external-type-definitions
fabriceHategekimana Sep 12, 2026
60f84af
rfc-0031: fill in tracking issue #32
fabriceHategekimana Sep 12, 2026
61cadd3
rfc-0031: freeze the typr-def.toml manifest format
fabriceHategekimana Sep 12, 2026
de421a0
Merge pull request #33 from we-data-ch/implement-rfc-0031-manifest-fo…
fabriceHategekimana Sep 12, 2026
02782cb
update
fabriceHategekimana Sep 13, 2026
8840af9
update
fabriceHategekimana Sep 13, 2026
d1f2b03
update
fabriceHategekimana Sep 14, 2026
c56e52b
update
fabriceHategekimana Sep 14, 2026
a5944d3
Support monorepo subdirectories in RepoSpec (registry.md §13 J5 prereq)
fabriceHategekimana Sep 14, 2026
ce87ec2
Add `typr types submit`: open a registry PR via `gh` (registry.md §13…
fabriceHategekimana Sep 14, 2026
7163903
update
fabriceHategekimana Sep 14, 2026
0c4b74d
added styler
fabriceHategekimana Sep 15, 2026
586211c
fixed styler performance with cache and targeted file
fabriceHategekimana Sep 15, 2026
bd99fac
formated code
fabriceHategekimana Sep 15, 2026
e8339cf
added air formatter
fabriceHategekimana Sep 18, 2026
10342f9
visualization graph POC spec
fabriceHategekimana Sep 25, 2026
5962f30
finished the refactoring
fabriceHategekimana Sep 25, 2026
1cd1a0f
added new crate typr-graph
fabriceHategekimana Sep 25, 2026
80a6c1e
typr-graph: add `typr graph` CLI command (étape 2)
fabriceHategekimana Sep 25, 2026
c0b55b4
typr-graph: add Satisfies/DeclaredAs/Subtype type relations (étape 3)
fabriceHategekimana Sep 25, 2026
d6d13ac
typr-wasm: add semanticGraph export (étape 4a)
fabriceHategekimana Sep 25, 2026
03e9cec
typr-graph: build Loop/Match/Module/RCode blocks (étape 5, part 1)
fabriceHategekimana Sep 25, 2026
a8fa9a0
docs: record étape 5 (blocks) progress and pre-existing pitfalls in t…
fabriceHategekimana Sep 25, 2026
44ce2eb
docs: record étape 5 completion (graph fence in typr.github.io)
fabriceHategekimana Sep 25, 2026
9ab0f56
finished diff.rs + wiring CLI
fabriceHategekimana Sep 25, 2026
4f15e7c
typr-wasm: add semanticGraphDiff export (étape 6, WASM bridge)
fabriceHategekimana Sep 25, 2026
4c9d7a2
docs: record étape 6 completion (diff, CLI, WASM, playground)
fabriceHategekimana Sep 25, 2026
c90a95b
docs: spec relation edges (capture/type) in the block graph
fabriceHategekimana Sep 26, 2026
f0b4605
update
fabriceHategekimana Sep 29, 2026
8bf3c66
refined type implementation
fabriceHategekimana Sep 30, 2026
a5d17c3
field preparation for migrating to dependent types to refined types
fabriceHategekimana Sep 30, 2026
083e474
fixed refinment indexation
fabriceHategekimana Sep 30, 2026
ef31670
fixed REGRESS cases
fabriceHategekimana Sep 30, 2026
b4d1490
install : scripts d installation, hébergement et CI (lot 1)
fabriceHategekimana Sep 30, 2026
70b238d
install : jobs de CI et avancement du plan (lot 1)
fabriceHategekimana Sep 30, 2026
236263d
install : CI, release et packaging (lot 2)
fabriceHategekimana Sep 30, 2026
d99f551
types : génériques implicites Interface@Id (Type::Bounded)
fabriceHategekimana Sep 30, 2026
69ba63d
docs : RFC, plan et cas 0086-0088 pour Interface@Id
fabriceHategekimana Sep 30, 2026
bc1a8f5
install : packaging scoop/winget, CI et release (lot 3)
fabriceHategekimana Sep 30, 2026
fe3957f
ci : cargo fmt, dry-run Windows hors réseau, continuation docker, SC2015
fabriceHategekimana Sep 30, 2026
56dde5f
ci : tap Homebrew, exit PowerShell ; type_registry : dossier de clone…
fabriceHategekimana Sep 30, 2026
42d59bc
homebrew : desc sans article, livecheck avant on_macos (brew audit)
fabriceHategekimana Sep 30, 2026
4a71c3d
types : ne pas mettre en cache les sous-typages de rigides ; homebrew…
fabriceHategekimana Sep 30, 2026
13713af
homebrew : version déduite de l'URL (brew audit)
fabriceHategekimana Sep 30, 2026
edabc5e
workspace: pin internal crates to 0.6 ahead of the 0.6.0 release
fabriceHategekimana Oct 1, 2026
8a04576
release v0.6.0
fabriceHategekimana Oct 1, 2026
29bf4fe
typr-graph: emit record fields, interface methods and discovered meth…
fabriceHategekimana Oct 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
130 changes: 0 additions & 130 deletions .claude/skills/case/SKILL.md
View file
Open in desktop

This file was deleted.

Loading
Loading