Skip to content

No labels!

There aren’t any labels for this repository quite yet.

21 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
🔚 backends
🔚 backends
Backend runtime or code generation
11
❌ bug
❌ bug
Something isn't working
8
🏗️ build system
🏗️ build system
Build system or Makefile
15
🔧 compiler
🔧 compiler
Issue concerns the compiler
56
💬 discussion
💬 discussion
Further discussion is needed
17
📘 documentation
📘 documentation
Improvements or additions to documentation
11
🔄 duplicate
🔄 duplicate
This issue or pull request already exists
✨ enhancement
✨ enhancement
New feature or request
51
👌 good first issue
👌 good first issue
Good for newcomers
7
👪 help wanted
👪 help wanted
Extra attention is needed
4
🤩 ide
🤩 ide
IDE plugins and tooling
10
ℹ️ information
ℹ️ information
Information contribution
2
❓ invalid
❓ invalid
This doesn't seem right
16
💡 language
💡 language
Language design
15
🔗 dependencies
:link: dependencies
Pull requests that update a dependency file
⚖️ program
⚖️ program
This issue concerns some Catala program
2
✅ proof
✅ proof
Proof backends: encoding, solving, etx.
7
➗ semantics
➗ semantics
Formal semantics of Catala
2
#️⃣ syntax
#️⃣ syntax
Concerns the syntax committee
4
🚧 wip
🚧 wip
Work in progress
1
⚰️ wontfix
⚰️ wontfix
This will not be worked on