unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-25 09:17:27 +03:00
Code Issues Projects Releases Wiki Activity
765 Commits 418 Branches 90 Tags 348 MiB
2a4a9dfad2
Commit Graph

765 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
63806f8acc Merge pull request #11 from unisonweb/topic/folder-structure 
Revamped folder structure to facilitate development of Haskell-based Unison editor
 2015-05-13 13:54:44 -04:00
Paul Chiusano
b219dbc0de Updated README with info about folder structure 2015-05-13 13:48:14 -04:00
Paul Chiusano
bf23ebbc8f Moved more stuff into shared, which now has minimal dependencies 2015-05-13 12:46:51 -04:00
Paul Chiusano
55e7261bed Added let (non recursive) bindings 2015-05-12 22:17:29 -04:00
Paul Chiusano
0e53b5fd9f build working with new structure 2015-05-12 20:44:28 -04:00
Paul Chiusano
0066ef6a7b fixup cabal file and move minimal set of modules over to shared 2015-05-12 20:02:33 -04:00
Paul Chiusano
402057d060 moved directories around 2015-05-12 19:47:55 -04:00
Paul Chiusano
5840d5b2ce Merge pull request #10 from unisonweb/topic/ghc-7.10 
GHC 7.10.1
 2015-05-12 17:21:31 -04:00
Paul Chiusano
e5160170d8 compiling vs ghc 7.10 2015-05-12 17:18:48 -04:00
Paul Chiusano
eb321412ae Merge pull request #9 from int-index/master 
Filter .json files in Store
 2015-05-12 08:27:25 -04:00
Index Int
311fa3b2f5 Filter .json files in Store 2015-05-12 11:36:56 +03:00
Paul Chiusano
d2379b9284 Merge remote-tracking branch 'origin/master' 2015-05-11 13:05:58 -04:00
Paul Chiusano
16aa112dfe removed version numbers from unison.cabal, relying on cabal.config instead 2015-05-11 13:05:34 -04:00
Paul Chiusano
41dae1d89f Merge pull request #7 from NightRa/master 
Track dependencies with Stackage
 2015-05-11 12:33:31 -04:00
Paul Chiusano
d863928187 Merge remote-tracking branch 'origin/master' 2015-05-11 12:28:26 -04:00
Paul Chiusano
392d5115e7 fixed issue where hashing was not normalized wrt linking 2015-05-11 12:16:21 -04:00
NightRa
57ae905f76 Track dependencies with Stackage 2015-05-11 11:10:15 +03:00
Paul Chiusano
180a8fae9d Update README.md 2015-05-08 19:22:06 -04:00
Paul Chiusano
f670dbcecc fixed issue with typeAt when path pointed inside lambda and added some diagnostic info 2015-05-08 12:58:52 -04:00
Paul Chiusano
142438dfba fix printing of variables in editor 2015-05-08 12:14:10 -04:00
Paul Chiusano
e4639f2612 fix issue #2 2015-05-08 11:59:19 -04:00
Paul Chiusano
8bbe58583d Update README.md 2015-05-07 23:45:39 -04:00
Paul Chiusano
ed4b8d4263 Update README.md 2015-05-07 23:03:58 -04:00
Paul Chiusano
4c84f724dd fixed some warnings 2015-05-07 21:15:56 -04:00
Paul Chiusano
9b84ae7fa0 removed unused lens dependency for now 2015-05-07 21:06:01 -04:00
Paul Chiusano
51210ae6a2 removed unused file 2015-05-07 21:00:54 -04:00
Paul Chiusano
78700b393f Merge remote-tracking branch 'origin/master' 2015-05-07 18:10:54 -04:00
Paul Chiusano
6b05d2bf93 went through build instructions 2015-05-07 18:10:44 -04:00
Paul Chiusano
71356a0103 Update README.md 2015-05-07 18:09:09 -04:00
Paul Chiusano
ee6e9392e0 Rename node/LICENSE to LICENSE 2015-05-06 22:09:25 -04:00
Paul Chiusano
b4eb5ec0e1 Merge pull request #1 from gitter-badger/gitter-badge 
Add a Gitter chat badge to README.md
 2015-05-06 16:30:19 -04:00
The Gitter Badger
99c09020cd Added Gitter badge 2015-05-06 20:29:52 +00:00
Paul Chiusano
7dd02c8100 Everything working with 0.15 2015-05-05 20:05:21 -04:00
Paul Chiusano
1a1063c0a7 Fix bug in parser satisfy function 2015-05-05 11:30:03 -04:00
Paul Chiusano
d013e98362 Simplified http request running 2015-05-05 10:58:30 -04:00
Paul Chiusano
7d36e3bd5e Editor compiling against 0.15 2015-05-04 22:36:51 -04:00
Paul Chiusano
cf8abfd2a5 WIP on upgrading to 0.15 2015-05-04 17:38:24 -04:00
Paul Chiusano
5e518c9c39 fix to explorer closing transition 2015-05-04 11:25:56 -04:00
Paul Chiusano
3a0bdd3766 Ordered contexts now cache some info to make wellformedness checking O(log n), greatly speeding up some typechecking problems. 2015-05-04 10:58:13 -04:00
Paul Chiusano
b69c8229ac Added short circuit for checking blank against a type 2015-05-01 12:35:27 -04:00
Paul Chiusano
6b68df0098 fix issue with type checker where fresh names weren't being allocated properly 2015-04-30 23:01:21 -04:00
Paul Chiusano
0e045d771f Fixed bug with ABT.focus function, added some additional diagnostic info 2015-04-30 13:35:20 -04:00
Paul Chiusano
23e887de0a fixed bug in Term.dependencies function and some cleanup of front-end 2015-04-29 17:52:05 -04:00
Paul Chiusano
626e82de4b fixed a JSON format mismatch between client/server 2015-04-29 11:14:32 -04:00
Paul Chiusano
892f5704d6 switch to Base64.URL encoding of hashes 2015-04-29 10:57:14 -04:00
Paul Chiusano
64490c3591 Added prettier printer for types and ABT terms, fixed typechecker bug causing ordered context to end up in wrong order 2015-04-29 10:47:37 -04:00
Paul Chiusano
721eca0e76 some front end changes to be consistent with new node api 2015-04-28 23:18:17 -04:00
Paul Chiusano
24e3a2cb71 node compiling with ABT representation 2015-04-28 22:58:48 -04:00
Paul Chiusano
d3baeaf46c frontend compiling (untested) 2015-04-28 17:45:15 -04:00
Paul Chiusano
43043376ce fix to JSON combinator and tweaked ABT JSON format 2015-04-28 14:05:33 -04:00