Commit Graph

  • 1217f6e143 Lambda abstraction greg 2017-12-20 18:23:44 -0800
  • 6f41167402 Kill this linker thing greg 2017-12-18 01:30:33 -0800
  • cf0af7e0c9 Flesh out TODO, README greg 2017-12-13 00:52:54 -0800
  • a7fd515e7b Add Rukka to README greg 2017-12-13 00:25:59 -0800
  • c6509338d8 Kill unused code greg 2017-12-12 02:57:19 -0800
  • 192a6bf6e1 Some lambda work greg 2017-12-12 02:56:10 -0800
  • 7e8c4267c2 Remove a unimplemented greg 2017-12-11 01:55:08 -0800
  • 25527bbdf0 Add fn literal variant greg 2017-12-11 01:53:27 -0800
  • 5e7aef1040 Even more concise greg 2017-12-10 19:01:44 -0800
  • 3386fcc505 Refactoring greg 2017-12-10 18:44:21 -0800
  • 18a839bb91 Starting lambdas greg 2017-12-10 03:58:44 -0800
  • 92d641fca0 Make var methods better greg 2017-12-10 03:35:51 -0800
  • 9b4499c5ac If expressions greg 2017-12-10 02:58:07 -0800
  • 07e19cbfa2 Rukka - Variables greg 2017-12-09 19:08:01 -0800
  • 2016fcab41 Add schala idea greg 2017-12-09 18:56:34 -0800
  • 0e7b6f25b3 Can specify language name with -l in any case greg 2017-12-09 18:19:07 -0800
  • 7e7aa55d6e Go directly to langauge by name greg 2017-12-09 13:38:55 -0800
  • cc79565fb3 Define half-working greg 2017-12-07 20:28:09 -0800
  • 5659bab684 Language name in prompt greg 2017-12-07 20:08:31 -0800
  • 405f91a770 Get rid of old import greg 2017-12-07 19:55:18 -0800
  • faed1d6f25 eq? greg 2017-12-07 19:54:53 -0800
  • f6d047e3b8 True and False primitives greg 2017-12-07 19:51:34 -0800
  • fcd980f148 Some primitive implementations greg 2017-12-07 19:48:48 -0800
  • c3919daa66 Fix pointer alias problem greg 2017-12-07 11:22:59 -0800
  • f8152f68ad Still tryign to make the pointer-munging work greg 2017-12-07 08:15:28 -0800
  • 9273773bf4 This has broken sexp parsing greg 2017-12-04 04:56:29 -0800
  • 844cef36c7 Fix print bug greg 2017-12-04 03:26:38 -0800
  • 0e17e45f3e Convert to more lispish Cons greg 2017-12-04 03:23:55 -0800
  • 18d8ca7bd5 Special forms list greg 2017-12-04 03:06:54 -0800
  • 2ee14bf740 Unwraps greg 2017-12-04 03:02:38 -0800
  • 502497687a Handle top-level empty list greg 2017-12-04 03:01:47 -0800
  • 107897ec97 print list greg 2017-12-04 02:44:09 -0800
  • 8534fb4118 Tighten code greg 2017-12-04 02:00:00 -0800
  • a1e38aba8e Some more code greg 2017-12-04 01:57:24 -0800
  • 2f8ef99b08 Type simplification greg 2017-12-03 22:20:43 -0800
  • 2bb55b6cca State for eval greg 2017-12-03 22:10:19 -0800
  • bcd70ff538 Numbers greg 2017-12-03 19:21:56 -0800
  • 728393671f Fixed string parsing greg 2017-12-03 17:47:17 -0800
  • 9c3e223e51 Strings partway working greg 2017-12-03 17:11:17 -0800
  • 2738119f17 Quotes greg 2017-12-03 06:04:53 -0800
  • 630ead289c Change Symbol -> Word for token greg 2017-12-01 03:00:42 -0800
  • 485e869c90 Fix bug greg 2017-12-01 02:58:09 -0800
  • 9e8a3d1f08 Tighten code greg 2017-12-01 02:39:17 -0800
  • b1da524a8f Intersperse greg 2017-12-01 02:36:52 -0800
  • 787b6d51a4 Parsing correctly yay greg 2017-12-01 02:16:28 -0800
  • 1dae4443cd Tokens greg 2017-11-30 22:37:49 -0800
  • 210a45c92e Sexp parsing greg 2017-11-29 02:08:30 -0800
  • 815e0401f2 Parses ( greg 2017-11-29 01:45:29 -0800
  • 753247ee83 Some halfwritten stuff greg 2017-11-28 03:37:16 -0800
  • 6223fc20f3 List datatype greg 2017-11-27 00:57:26 -0800
  • da928db351 Add a new language - Rukka greg 2017-11-26 21:17:17 -0800
  • 93d0cfe5b8 Make schala-lib::language private and reexport greg 2017-11-02 02:45:26 -0700
  • 687b28d1d1 Take TokenError type out of schala-lib greg 2017-11-01 22:41:34 -0700
  • b62f618256 I don't need this syntax greg 2017-11-01 01:25:26 -0700
  • f25b76ea11 Kill some packages from schala bin greg 2017-11-01 01:23:54 -0700
  • 6b2736348d Get rid of unused imports greg 2017-10-31 00:45:15 -0700
  • 69d5f38ea1 Refactor into libs part II greg 2017-10-30 22:18:02 -0700
  • a6f8616839 Halfway done to library-ifying schala greg 2017-10-30 20:06:20 -0700
  • cdcb55e3b8 PLIGenerators can be authoritative, not the instances themselves greg 2017-10-29 13:45:55 -0700
  • 74ac26841f Some simplification greg 2017-10-29 12:27:24 -0700
  • 8fd29b5090 Passing things along as generators greg 2017-10-29 04:09:10 -0700
  • 5ebc96daa7 Don't need mutex, kill it greg 2017-10-29 04:04:54 -0700
  • 277e039251 Finally removed schala dependency greg 2017-10-29 03:41:40 -0700
  • 6e8f57e54f Okay this compiles greg 2017-10-29 03:16:08 -0700
  • ae02391270 Working on solution to Rocket state problem greg 2017-10-26 22:54:13 -0700
  • 9379485713 Some linker bullshit greg 2017-10-26 02:03:47 -0700
  • 910522537c Splitting up some code greg 2017-10-23 20:51:08 -0700
  • 98e1a5235a Some more structure in evaluator greg 2017-10-23 01:54:02 -0700
  • e054c4b27f Revert "Starting to split project into multiple crates" greg 2017-10-23 00:45:01 -0700
  • e3b0f4a51e Starting to split project into multiple crates greg 2017-10-23 00:43:43 -0700
  • 911f26e9c6 Halfway done with evaluating tuples greg 2017-10-23 00:22:25 -0700
  • 677e3ae0a9 Add module keyword greg 2017-10-22 03:58:09 -0700
  • 9611770bb3 Switch from request to superagent greg 2017-10-15 02:37:02 -0700
  • 4c256cb5f7 Literal non-primitive values greg 2017-10-14 13:54:17 -0700
  • 688e1c7f5d Starting work on literal non-primitve values greg 2017-10-13 18:56:02 -0700
  • 26c9c72bcc Can eval custom data constructors now greg 2017-10-13 03:05:18 -0700
  • 2d614aa17a Float literals, kill old code greg 2017-10-13 00:01:43 -0700
  • ecb2eb0f87 Some more primitive types + binop-checking greg 2017-10-12 23:59:52 -0700
  • 4c4004d3ac Add required imports greg 2017-10-12 21:46:12 -0700
  • 9b4a23c4f2 Some partial work on refactoring type infer fn greg 2017-10-12 20:14:33 -0700
  • 936c168cef Add colored output to non-interactive greg 2017-10-12 10:43:54 -0700
  • db835f42aa Convert webapp to using included files greg 2017-10-12 02:13:55 -0700
  • cd5fc36c37 Fix type check macro to add symbol table greg 2017-10-11 16:43:04 -0700
  • d7a33c974e More work with unification greg 2017-10-11 02:33:46 -0700
  • b2288206d2 the evar table greg 2017-10-11 02:11:12 -0700
  • d962e2c27a Unify work greg 2017-10-11 02:03:50 -0700
  • 4534c1d3d6 Move type-level func up greg 2017-10-11 01:55:45 -0700
  • f79dc0b1e3 Okay I am figuring things out about hindley-milner again greg 2017-10-11 01:50:04 -0700
  • 4928fc0019 rename type_var to ty greg 2017-10-10 22:14:55 -0700
  • d735e45688 String and () types greg 2017-10-10 21:51:45 -0700
  • b4208b696d Change around some stuff greg 2017-10-10 21:23:24 -0700
  • ff3dbbcbc6 Change Variable to Value greg 2017-10-10 21:02:32 -0700
  • e3261be8a0 Partial handling of user defined types greg 2017-10-10 17:29:28 -0700
  • f131105b50 Starting to make unify actually work greg 2017-10-10 04:38:59 -0700
  • 1089a33634 Convert unify to are types greg 2017-10-10 04:26:40 -0700
  • 6c60794485 Have + do something different with strings greg 2017-10-10 02:45:25 -0700
  • 2f18529bcc Operator typing a little bit greg 2017-10-10 02:41:17 -0700
  • c68e09d89d Slight refactoring greg 2017-10-10 02:32:02 -0700
  • d9e8178a90 Renamed all the type-related types greg 2017-10-10 02:17:07 -0700
  • 57536e6399 Move some type checking code around greg 2017-10-10 01:11:24 -0700