Skip to content

No labels!

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

bilbyfs
bilbyfs
cogent compiler
cogent compiler
cogent-c verification
cogent-c verification
dependent types
dependent types
discussion
discussion
documentation
documentation
DON'T MERGE
DON'T MERGE
duplicate
duplicate
help wanted
help wanted
high-level verification
high-level verification
infrastructure
infrastructure
invalid
invalid
language design
language design
language semantics
language semantics
newcomer
newcomer
low-hanging fruit
PLEASE MERGE
PLEASE MERGE
quickcheck
quickcheck
TASK
TASK
An umbrella ticket. Mostly used in the kanban board.