github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-13 19:53:40 +03:00
Code Issues Projects Releases Wiki Activity
261 Commits 19 Branches 16 Tags 46 MiB
28d66524bf
Commit Graph

24 Commits

Author SHA1 Message Date
Rob Rix
28d66524bf Use joinWithSeparator. 2015-09-28 22:50:59 -04:00
Rob Rix
fa763cbccc Use the fold extension method. 2015-09-28 22:48:13 -04:00
Rob Rix
5fbc3b5102 Avoid extra spaces in comma-separated lists. 2015-09-28 22:41:51 -04:00
Rob Rix
f4f5ad1e86 Rename DOC to Doc. 2015-09-28 22:36:22 -04:00
Rob Rix
b79bbfad62 Abbreviate some uses of doc a little. 2015-09-28 22:26:37 -04:00
Rob Rix
d3b27cfba4 Add a DOC type which constructs Doc. 
Following Wadler.
 2015-09-28 17:06:52 -04:00
Rob Rix
a6c419c6e1 Support enums, structs, and variables. 2015-09-23 18:22:27 -04:00
Rob Rix
975ac8fc2f Term initialization is partial. 2015-09-23 17:37:53 -04:00
Rob Rix
ce6fd43eaf Term JSON constructors are public. 2015-09-23 16:27:29 -04:00
Rob Rix
74e93a14de Move Term/JSON conversion into Term. 2015-09-23 13:34:45 -04:00
Rob Rix
bd7bcaea00 Explicitly annotate types so we can call without extra parentheses. 2015-09-23 12:32:25 -04:00
Rob Rix
22fa931d4d Use Term.Roll. 2015-09-23 12:31:28 -04:00
Rob Rix
0c5c3910f6 Print the bodies of abstractions. 2015-09-22 17:35:41 -04:00
Rob Rix
5b1f35d7ff Term constructors. 2015-09-22 17:26:45 -04:00
Rob Rix
a6473b9eff Abstractions can have >1 elements in their body. 2015-09-22 17:23:48 -04:00
Rob Rix
5c7132a3bd Rename Fix to Term. 2015-09-18 10:12:34 -04:00
Rob Rix
e823f84d4a Syntax folding. 2015-09-16 12:22:53 -04:00
Rob Rix
440ccb9444 Leave Doc implicit wherever possible. 2015-09-15 14:33:09 -04:00
Rob Rix
cae54e2c95 Fix can be empty. 2015-09-15 14:07:35 -04:00
Rob Rix
64c3a6074b Don’t specialize description. 2015-09-15 13:58:47 -04:00
Rob Rix
d5d63a892d Define Doc directly, not algebraically. 2015-09-15 13:55:09 -04:00
Rob Rix
41bba38001 Fix is an enum. 2015-09-15 13:49:23 -04:00
Rob Rix
6724c834e5 Remove FixpointType. 2015-09-15 13:46:45 -04:00
Rob Rix
93fd2acc81 Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5' 
git-subtree-dir: prototype
git-subtree-mainline: 0244ce39f68a04b515f32b2b8ea9a3e0228923c7
git-subtree-split: a7fef6ced9
 2015-09-15 12:32:12 -04:00