issues
search
yeslogic
/
fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Apache License 2.0
259
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Record and tuple patterns
#409
Kmeakin
closed
1 year ago
2
Inconsistency between synthesised function literals and checked function literals
#408
Kmeakin
closed
1 year ago
1
Add tuple syntax sugar for records
#407
Kmeakin
closed
1 year ago
3
Add if-then-else sugar for match expressions
#406
Kmeakin
closed
1 year ago
3
Move primitives out of local variable environment
#405
brendanzab
closed
1 year ago
0
Add some assertions that all `Term`s produced by elaboration and quotatation are well-scoped
#404
Kmeakin
closed
1 year ago
1
Improve readability of literal elaboration
#403
brendanzab
closed
2 years ago
0
Unfold metas
#402
brendanzab
closed
1 year ago
1
Overhaul environment nomenclature
#401
brendanzab
closed
2 years ago
3
Implement sugar for multi-parameter functions and function definitions
#400
brendanzab
closed
2 years ago
2
Use less obtuse names in functions and let exprs
#399
brendanzab
closed
2 years ago
0
Avoid cascading errors when elaborating eliminations
#398
brendanzab
closed
2 years ago
1
Cleanups to pattern matching elaboration
#397
brendanzab
closed
2 years ago
0
Span related cleanups
#396
brendanzab
closed
2 years ago
0
Avoid needing to locally disable rustfmt
#395
brendanzab
closed
2 years ago
1
Challenges arising from the OpenType `glyf` table
#394
mikeday
opened
2 years ago
2
Add bin ops to the reference
#393
wezm
closed
2 years ago
1
Read simple glyph flags
#392
wezm
opened
2 years ago
1
Add some sketches of Fathom’s core in Idris 2
#391
brendanzab
opened
2 years ago
0
Always return a function from prim_step
#390
wezm
closed
2 years ago
1
Check clippy lints on CI
#389
brendanzab
closed
2 years ago
1
Fix clippy lints
#388
brendanzab
closed
2 years ago
1
Rename environment structs in semantics
#387
brendanzab
closed
2 years ago
2
Cleanups to arrow distillation
#386
brendanzab
closed
2 years ago
0
Clean up some formatting in match expressions
#385
brendanzab
closed
2 years ago
0
CI improvements and cleanups to flake.nix
#384
brendanzab
closed
2 years ago
1
Fix binding of distilled terms
#383
brendanzab
closed
2 years ago
0
Add array*_index function
#382
wezm
closed
2 years ago
0
Track source locations in core::Term and Values
#381
wezm
closed
2 years ago
1
Distill `core::Term::FunType` to `surface::Term::Arrow` if `input_name` is not bound in `output_type`
#380
Kmeakin
closed
2 years ago
1
Avoid allocating Vec every time we add to reference cache
#379
wezm
closed
2 years ago
0
Sugar for comparison operators
#378
wezm
closed
2 years ago
0
Arithmetic operator sugar
#377
wezm
closed
2 years ago
0
Out of order definitions
#376
wezm
closed
2 years ago
5
Provide more information in SetOffsetOutsideBuffer error
#375
wezm
closed
2 years ago
0
Support Font Collections
#374
wezm
closed
2 years ago
0
Add GPOS definition to OpenType format
#373
wezm
closed
2 years ago
0
Add GSUB definition to OpenType format
#372
wezm
closed
2 years ago
0
Add surface syntax for computed fields
#371
brendanzab
closed
2 years ago
0
Implement `where` sugar for refined fields
#370
brendanzab
closed
2 years ago
0
Add GDEF definition to OpenType format
#369
wezm
closed
2 years ago
0
Sugar for guarded fields in record formats
#368
brendanzab
closed
2 years ago
0
Let formats
#367
brendanzab
opened
2 years ago
2
Use placeholders when applying `deref` in opentype
#366
brendanzab
closed
2 years ago
0
Document some connections to type theory
#365
brendanzab
closed
2 years ago
0
Fill out more of the OpenType format
#364
wezm
closed
2 years ago
4
Make read errors slightly better
#363
wezm
closed
2 years ago
2
Conditional formats
#362
wezm
closed
2 years ago
5
Implement a `repeat_until_end` format.
#361
brendanzab
closed
2 years ago
2
Include expression when hole solution is found
#360
wezm
closed
2 years ago
0
Previous
Next