Branch
|
remove metadata types from the in-memory branches
|
2024-02-22 12:46:15 -05:00 |
BranchV3.hs
|
rename decls to types
|
2023-09-28 09:37:25 -04:00 |
Causal.hs
|
merge algorithm refactoring and cleanup
|
2024-03-08 15:03:32 -05:00 |
Decl.hs
|
Add hash validation for decls
|
2023-11-09 14:14:05 -08:00 |
Kind.hs
|
format with new ormolu
|
2022-02-28 15:52:25 -06:00 |
Referent.hs
|
detect conflicts
|
2024-03-04 16:32:25 -05:00 |
Term.hs
|
Expose helpers for getting/saving eval results
|
2023-10-05 15:25:22 -07:00 |
TermEdit.hs
|
Re-enable ORMOLU on properly formatted files
|
2021-11-23 12:10:59 -06:00 |
Type.hs
|
Expose helpers for getting/saving eval results
|
2023-10-05 15:25:22 -07:00 |
TypeEdit.hs
|
Re-enable ORMOLU on properly formatted files
|
2021-11-23 12:10:59 -06:00 |