Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Refinedrust Dev
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

356e9ba2

Verified Commit 356e9ba2 authored 1 month ago by Vincent Lafeychine

Downloads
- Patches
- Plain Diff

chore(radium): Transform AbstractVariant::generate_coq_type_def_core into coq::Document

parent e4107463

Branches

No related tags found

1 merge request!71Continuing `radium::coq` subcrate

Pipeline #121009 passed 1 month ago

Stage: nix-cache

Stage: lint

Stage: build

Stage: tests

Changes 9
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

rr_frontend/radium/src/coq/binder.rs 5 additions, 5 deletions

rr_frontend/radium/src/coq/binder.rs
rr_frontend/radium/src/coq/command.rs 5 additions, 4 deletions

rr_frontend/radium/src/coq/command.rs
rr_frontend/radium/src/coq/ltac.rs 10 additions, 3 deletions

rr_frontend/radium/src/coq/ltac.rs
rr_frontend/radium/src/coq/mod.rs 1 addition, 0 deletions

rr_frontend/radium/src/coq/mod.rs
rr_frontend/radium/src/coq/section.rs 16 additions, 9 deletions

rr_frontend/radium/src/coq/section.rs
rr_frontend/radium/src/coq/term.rs 12 additions, 4 deletions

rr_frontend/radium/src/coq/term.rs
rr_frontend/radium/src/lib.rs 2 additions, 2 deletions

rr_frontend/radium/src/lib.rs
rr_frontend/radium/src/specs.rs 123 additions, 66 deletions

rr_frontend/radium/src/specs.rs
rr_frontend/radium/src/term.rs 15 additions, 5 deletions

rr_frontend/radium/src/term.rs

with 189 additions and 98 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment