Timothy Clem
|
432766a6c1
|
Remove TODOs, docs
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
3296644cc8
|
Remove Linker Effect
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
2724c265dd
|
Requiring a module, updates localEnv
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
e328d6d642
|
Custom eval for Programs to maintain env
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
1ee4ea11bd
|
Introduce Program Value type
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
ad480eb5fc
|
Add envUnion and envAll functions
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
421108c669
|
I don't why this matters but it does
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
41841b6947
|
Fix the recursive Eff issue with the Linker Effects
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
c3a5bcac36
|
Just use the [] eval instance
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
d187c88604
|
Some temporary tracing to help understand eval flow
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
b1633cf356
|
Blobs so we can know language
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
8d6e00c27a
|
WIP - bunch of different eval options
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
90fcf481ae
|
First, sort of working eval of path, term pairs
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
6d1dc86761
|
s/value/v
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
1943a5a905
|
Parse files to filepath, term pairs
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
01a0bdc236
|
Evaluate a list of terms with MonadLinker avail
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
32c2e92660
|
Couple of extra helper utils
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
244b167992
|
Rewrite to see structure better
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
d310661503
|
Don't know why this effect is necessary, but it is
|
2018-02-16 12:38:29 -08:00 |
|
Timothy Clem
|
dc6ff09ccf
|
Stub out some sort of linker
|
2018-02-16 12:38:29 -08:00 |
|
Josh Vera
|
13d311f544
|
Merge pull request #1500 from github/python-fixes
Fix definition of plainImport
|
2018-02-13 20:38:02 -05:00 |
|
joshvera
|
19ab77f434
|
Use expressions
|
2018-02-13 20:28:31 -05:00 |
|
joshvera
|
616a82eb8a
|
Fix tests
|
2018-02-13 12:44:50 -05:00 |
|
joshvera
|
c1e8ce39e2
|
Fix definition of plainImport since dotted names can have many expressions
|
2018-02-13 11:57:40 -05:00 |
|
Josh Vera
|
d8e5555b0e
|
Merge pull request #1486 from github/import-graph
Import graph
|
2018-02-13 11:37:19 -05:00 |
|
Timothy Clem
|
aed971ed07
|
Merge branch 'master' into import-graph
|
2018-02-12 10:11:29 -08:00 |
|
Rob Rix
|
209c0c3133
|
Merge pull request #1495 from github/algebraic-graphs
Algebraic graphs
|
2018-02-08 11:25:06 -05:00 |
|
Timothy Clem
|
c1bc28d0ac
|
Cleanup commented out code
|
2018-02-07 13:07:38 -08:00 |
|
Timothy Clem
|
84cde2559b
|
Cleanup imports
|
2018-02-07 12:28:18 -08:00 |
|
Timothy Clem
|
48effe84df
|
Ha, whoops - actually use path argument
|
2018-02-07 12:28:13 -08:00 |
|
Timothy Clem
|
fb000828ed
|
Test out import-graph output for relevant languages
|
2018-02-07 12:20:41 -08:00 |
|
Timothy Clem
|
fec643536b
|
Move Verbatim to SpecHelpers
|
2018-02-07 12:20:27 -08:00 |
|
Rob Rix
|
36d0cc99a8
|
Merge branch 'master' into algebraic-graphs
|
2018-02-07 14:32:28 -05:00 |
|
Rob Rix
|
5363b07905
|
Quote the titles of term graphs.
|
2018-02-07 14:25:16 -05:00 |
|
Rob Rix
|
2e06b93f0b
|
Correct indentation.
|
2018-02-07 13:24:38 -05:00 |
|
Rob Rix
|
cfadd23a5a
|
Simplify how we combine graphs in replacements.
|
2018-02-07 13:21:39 -05:00 |
|
Rob Rix
|
4cf569a798
|
Align the base indices.
|
2018-02-07 13:11:50 -05:00 |
|
Rob Rix
|
82710226ac
|
Fold leftwards.
|
2018-02-07 13:11:18 -05:00 |
|
Rob Rix
|
f2b8bf2ace
|
Reformat termAlgebra.
|
2018-02-07 13:09:42 -05:00 |
|
Rob Rix
|
dec9ff2fc1
|
Simplify termAlgebra.
|
2018-02-07 13:08:45 -05:00 |
|
Josh Vera
|
2d7be955d3
|
Merge pull request #1477 from github/php-assignment
PHP Assignment
|
2018-02-07 13:01:32 -05:00 |
|
Rob Rix
|
e48794433b
|
Define a Monoid instance for State.
|
2018-02-07 12:56:50 -05:00 |
|
Rob Rix
|
ac4ae43498
|
Generate DOT using algebraic-graphs.
|
2018-02-07 12:54:18 -05:00 |
|
Rob Rix
|
4ceddcd531
|
Depend on algebraic-graphs.
|
2018-02-07 12:54:15 -05:00 |
|
Rob Rix
|
fb68a98ca5
|
Use the BlobPair synonym.
|
2018-02-07 11:51:24 -05:00 |
|
Rob Rix
|
80b504ec66
|
Use pathKeyForBlobPair.
|
2018-02-07 11:51:01 -05:00 |
|
Timothy Clem
|
25cf8bb56d
|
Clean up python import parsing a bit more
Makes sure we can parse things like:
from b import a as x, b as y
|
2018-02-06 13:40:49 -08:00 |
|
Timothy Clem
|
84cd63fe1b
|
Add span, remove pretty encoding
|
2018-02-06 11:35:01 -08:00 |
|
joshvera
|
cb5d88bad0
|
s/typescript/php
|
2018-02-06 12:27:41 -05:00 |
|
joshvera
|
bb9b99a33f
|
Sort syntax
|
2018-02-06 12:27:07 -05:00 |
|