Commit Graph

13 Commits

Author SHA1 Message Date
greg e39356c0e5 Even more type work 2018-11-09 00:21:34 -08:00
greg d44bb02d61 Even more types 2018-11-08 20:30:17 -08:00
greg 9056e9b0e1 More type work2 2018-11-08 02:29:54 -08:00
greg e9b90412ce More type work 2018-11-08 02:12:01 -08:00
greg 65c47c20fc Change name of monad in which type inference happens 2018-11-07 17:01:07 -08:00
greg fab3fb8ec2 More basic types + test 2018-11-07 16:39:32 -08:00
greg 0d5ccd21fe TConst 2018-11-07 15:39:40 -08:00
greg 69b7b9f528 Print out types to REPL 2018-11-07 13:44:28 -08:00
greg 9a09f40222 More typing work 2018-11-07 03:39:31 -08:00
greg 020819550b More typechecking infrastructure 2018-11-06 16:47:34 -08:00
greg 15f9dbe7a6 Typechecking infrastructure 2018-11-06 13:44:52 -08:00
greg c25354b2c7 Get rid of typechecking code (for now)
I'm tired of seeing the errors. See branch last_commit_with_typechecking
2018-10-20 00:41:56 -07:00
greg 3b20b9e209 Put schala-lang crates into a subdirectory 2018-10-17 14:51:48 -07:00