1
1
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
semantic/src
2019-10-18 20:11:40 -04:00
..
Analysis Revert "Generalize decoratorWithAlgebra over the term type." 2019-10-18 20:10:38 -04:00
Assigning 🔥 Assigning.Assignment.Deterministic. 2019-10-07 11:56:00 -04:00
Control Merge branch 'join-these-blobs-with-this-one-weird-trick' into abstract-a-la-carte-terms 2019-10-18 18:00:36 -04:00
Data Revert "Give simpler primitives for IsTerm." 2019-10-18 20:11:40 -04:00
Diffing Define a Bifunctor instance for Edit. 2019-10-17 13:55:59 -04:00
Language Revert "Generalize makeTerm over the term type." 2019-10-18 20:11:09 -04:00
Numeric Remove stray occurrences of Debug.Trace.traceM. 2019-04-24 12:13:08 -04:00
Parsing Generalize AssignmentParser over the term type. 2019-10-18 16:01:04 -04:00
Proto ++proto-lens-jsonpb to handle excluding default fields 2019-10-03 08:41:30 -07:00
Rendering Merge branch 'toc-this-way' into join-these-blobs-with-this-one-weird-trick 2019-10-17 22:04:35 -04:00
Semantic Revert "Fix a missing constraint." 2019-10-18 20:10:05 -04:00
Serializing Annotate the kind of ToSExpression. 2019-10-07 09:17:30 -04:00
Tags Revert "Generalize Taggable over the term type." 2019-10-18 20:10:16 -04:00
Prologue.hs Stray whitespace. 2019-09-20 16:52:34 -04:00