Tree @c0a8283 (Download .tar.gz)
Commit History
@c0a8283b1fd7425c751ba7325d40f6b798589f60
git clone http://git.haldean.org/ubik/
- correct the spec on ..code::ubik format Haldean Brown 6 years ago
- add literate tests to make check Haldean Brown 6 years ago
- well it works as a literate language now so that's cool Haldean Brown 6 years ago
- put the infrastructure for weaving into place Haldean Brown 6 years ago
- add a passthrough stream generator Haldean Brown 6 years ago
- add generator streams Haldean Brown 6 years ago
- fix bug in err-prog clean Haldean Brown 6 years ago
- fix dumb error with discard_res in ubic Haldean Brown 6 years ago
- imma do this Haldean Brown 6 years ago
- make it dumber Haldean Brown 6 years ago
- start writing about literate ubik Haldean Brown 6 years ago
- last updated? Haldean Brown 6 years ago
- start over with inference Haldean Brown 6 years ago
- support running without output in ubic Haldean Brown 6 years ago
- make the bad type errprog even simpler Haldean Brown 6 years ago
- add failing type checker test Haldean Brown 6 years ago
- test that error progs fail Haldean Brown 6 years ago
- remove adt unit test Haldean Brown 6 years ago
- lots of errors corrected, everything but polymorphism worked through Haldean Brown 6 years ago
- start on some type inferrence stuff Haldean Brown 6 years ago
- splat for types Haldean Brown 6 years ago
- create_decl is private now Haldean Brown 6 years ago
- add constructor name as an argument to ubik-adt-new-N Haldean Brown 6 years ago
- remove dep files on clean Haldean Brown 6 years ago
- remove the dumb infer module Haldean Brown 6 years ago
- remove a bunch of dead adt code Haldean Brown 6 years ago
- add args to ctors -- these are done! Haldean Brown 6 years ago
- start writing out function bodies for ctors Haldean Brown 6 years ago
- create (non-functional) lambda statements for constructors Haldean Brown 6 years ago
- add value expressions, use them for the beginning of ast binds Haldean Brown 6 years ago