wokelang/.gitattributes at main · hyperpolymath/wokelang · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
# SPDX-License-Identifier: MPL-2.0
# .gitattributes — line-ending normalisation, diff drivers and linguist hints
# for the languages this repository actually contains. Entries track
# `git ls-files`; absent languages (Elixir, ReScript, TypeScript, Zig) are not
# listed, and languages that were missing (Lean, ocamllex/menhir, WokeLang's
# own sources) now are.

# Normalise everything to LF in the repository.
* text=auto eol=lf

# ── WokeLang itself ────────────────────────────────────────────────────────
# Report the project's own sources as its own language rather than letting
# linguist guess from the extension.
*.woke  text eol=lf linguist-language=WokeLang
*.wl    text eol=lf linguist-language=WokeLang
*.ebnf  text eol=lf

# ── Rust: the primary toolchain (src/) ─────────────────────────────────────
*.rs    text eol=lf diff=rust

# ── OCaml: the reference core (core/) ──────────────────────────────────────
*.ml    text eol=lf diff=ocaml
*.mli   text eol=lf diff=ocaml
*.mll   text eol=lf linguist-language=OCaml
*.mly   text eol=lf linguist-language=OCaml
*.opam  text eol=lf

# ── Proof assistants ───────────────────────────────────────────────────────
*.lean  text eol=lf linguist-language=Lean
*.v     text eol=lf linguist-language=Coq
*.idr   text eol=lf linguist-language=Idris
*.ipkg  text eol=lf

# ── Configuration and data ─────────────────────────────────────────────────
*.toml  text eol=lf
*.json  text eol=lf
*.jsonl text eol=lf
*.yml   text eol=lf
*.yaml  text eol=lf
*.ncl   text eol=lf
*.a2ml  text eol=lf
*.scm   text eol=lf linguist-language=Scheme

# ── Documentation ──────────────────────────────────────────────────────────
*.md    text eol=lf diff=markdown
*.adoc  text eol=lf
*.txt   text eol=lf
*.tex   text eol=lf
*.bib   text eol=lf

# Documentation is not the project's language for linguist's purposes.
docs/**     linguist-documentation
wiki/**     linguist-documentation
site/**     linguist-documentation

# ── Scripts ────────────────────────────────────────────────────────────────
*.sh    text eol=lf
*.bash  text eol=lf

# ── Binary ─────────────────────────────────────────────────────────────────
*.wasm    binary
*.rlib    binary
*.so      binary
*.dylib   binary
*.dll     binary
*.exe     binary
*.bundle  binary

# ── Generated ──────────────────────────────────────────────────────────────
Cargo.lock linguist-generated=true