Simplified languages registration (d752c75e) · Commits · pub / caisar · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

caisar
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Terraform modules
- Incidents

Snippets Groups Projects

d752c75e

Commit d752c75e authored 3 years ago by Julien Girard-Satabin

Downloads
- Patches
- Plain Diff

Simplified languages registration

parent 75ca6251

No related branches found

No related tags found

Loading

Changes 6

Hide whitespace changes

Inline Side-by-side

Showing

caisar.opam 2 additions, 3 deletions

caisar.opam
nnet.opam 2 additions, 11 deletions

nnet.opam
onnx.opam 0 additions, 8 deletions

onnx.opam
src/language.ml 24 additions, 42 deletions

src/language.ml
src/language.mli 2 additions, 2 deletions

src/language.mli
stdlib/caisar.mlw 1 addition, 1 deletion

stdlib/caisar.mlw

with 31 additions and 67 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