unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-15 14:35:01 +03:00
Code Issues Projects Releases Wiki Activity
116 Commits 432 Branches 91 Tags 137 MiB
5dbb49e8a7
Commit Graph

116 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
5dbb49e8a7 finished with node API 2014-07-13 11:08:17 -04:00
Paul Chiusano
dd22538c78 moar progress 2014-07-13 10:14:44 -04:00
Paul Chiusano
8d7e549528 halfway through client-side node api 2014-07-13 10:13:23 -04:00
Paul Chiusano
9e9527c352 started on implementation of asynchronous node interface 2014-07-12 13:50:11 -04:00
Paul Chiusano
1f71b661aa finished with jsonifiers 2014-07-12 12:35:22 -04:00
Paul Chiusano
a5960bc9f3 finished with term and type jsonifiers 2014-07-12 12:00:39 -04:00
Paul Chiusano
eb3241f179 working on jsonifiers 2014-07-12 11:23:10 -04:00
Paul Chiusano
47583148ab cleanup of parsers 2014-07-12 10:45:29 -04:00
Paul Chiusano
e188798850 simplified JSON parsers 2014-07-12 10:43:25 -04:00
Paul Chiusano
1bbbd5486f finished with metadata parser, now working on jsonifiers 2014-07-11 19:18:28 -04:00
Paul Chiusano
b876d4a0f9 term parser completed 2014-07-11 18:01:13 -04:00
Paul Chiusano
3b88a5842a parser more efficient 2014-07-11 17:08:35 -04:00
Paul Chiusano
6cd5b99c3f Elm code for parsing types 2014-07-11 15:21:24 -04:00
Paul Chiusano
87f787fda7 simplified json representation of var and modified vector literals 2014-07-11 15:18:02 -04:00
Paul Chiusano
1b35e3c31d removed LICENSE file, going to have separate license for node and editor code 2014-07-08 17:34:20 -04:00
Paul Chiusano
541dd91612 moved node backend to separate subdirectory 2014-07-08 17:32:47 -04:00
Paul Chiusano
b8dc00fc3f performing hash-consing declaration in createTerm function 2014-07-08 17:06:25 -04:00
Paul Chiusano
44e732ffbe fixed bugs with hash consing 2014-07-08 15:22:37 -04:00
Paul Chiusano
8e155b8099 implemented hash consing, and term hashing now does further normalization 2014-07-08 12:03:00 -04:00
Paul Chiusano
9712e91a4c using URL parameters for a few node api functions 2014-07-07 21:20:11 -04:00
Paul Chiusano
ed77668fd7 finished simple interpreter and added new build for running node server 2014-07-04 14:03:40 -04:00
Paul Chiusano
59446fe7e4 recursively resolve references in term linking function 2014-07-04 12:50:44 -04:00
Paul Chiusano
afce255292 eval no longer bakes in Noted 2014-07-04 12:30:46 -04:00
Paul Chiusano
800f14f3b9 refactored Eval interface 2014-07-04 11:23:51 -04:00
Paul Chiusano
8f7940b2b6 finished with File Store 2014-07-03 21:34:00 -04:00
Paul Chiusano
7369ba7469 finished stub of file Store, just need to fill in a few functions 2014-07-03 17:10:16 -04:00
Paul Chiusano
db2941c832 added comment about use of GET vs POST 2014-07-03 16:34:33 -04:00
Paul Chiusano
f65e91c264 edit-term/type are GET requests, as they don't update the store 2014-07-03 16:33:02 -04:00
Paul Chiusano
04a8c23ba6 refactoring node code a bit 2014-07-03 16:31:31 -04:00
Paul Chiusano
dde6830d51 got rid of redundant Store functions 2014-07-02 15:49:57 -04:00
Paul Chiusano
f9320017d9 finished Action interpreter 2014-07-02 15:00:27 -04:00
Paul Chiusano
3dbe96128a implemented Scotty node server 2014-07-01 13:32:28 -04:00
Paul Chiusano
30471d9e57 stubbed out server 2014-06-30 18:19:00 -04:00
Paul Chiusano
9d3891e05b scotty dependency 2014-06-30 18:01:09 -04:00
Paul Chiusano
5252221859 hashing for terms and types 2014-06-30 15:49:33 -04:00
Paul Chiusano
741733fc28 Terms now convertible to JSON 2014-06-30 15:27:31 -04:00
Paul Chiusano
60be05c6ee Type now convertible to JSON 2014-06-30 15:25:09 -04:00
Paul Chiusano
70910351f9 Implemented simple searchLocal 2014-06-30 13:59:41 -04:00
Paul Chiusano
d591cc406e fixed implementation of let floating 2014-06-30 11:46:24 -04:00
Paul Chiusano
31c1f6336e fixed versions of typeAt and admissibleTypeAt 2014-06-27 23:01:22 -04:00
Paul Chiusano
634c958025 let floating Action 2014-06-27 18:05:07 -04:00
Paul Chiusano
bdf0a738a7 more progress on implementing editor backend 2014-06-27 18:00:39 -04:00
Paul Chiusano
fad7b9f364 started on searchLocal 2014-06-25 17:22:14 -04:00
Paul Chiusano
e5c40aa0e7 implemented search 2014-06-25 16:22:13 -04:00
Paul Chiusano
a9359fd5dc added eta reduction Action and eliminated usage of lam1M 2014-06-25 11:13:13 -04:00
Paul Chiusano
d54dd1bade now using Noted monad transformer in more places to greatly reduce plumbing code 2014-06-25 10:49:00 -04:00
Paul Chiusano
af91eded80 cleanup, using Noted monad for less plumbing code 2014-06-24 18:22:56 -04:00
Paul Chiusano
889ea04b1c Added Noted monad 2014-06-24 17:38:04 -04:00
Paul Chiusano
9cf566560d stubbed out edit function 2014-06-24 16:54:01 -04:00
Paul Chiusano
847a3b185d fixed all compile errors and updated cabal file following change to handling of naming in term binders 2014-06-23 17:10:01 -04:00