Evan Czaplicki
|
497d478d26
|
Get the solver working on basic programs. It outputs pretty types for the
variables in the program. Need to test further and start doing some benchmarking.
|
2013-07-09 21:52:05 +02:00 |
|
Evan Czaplicki
|
ca62ee64a9
|
Create type pools, have an organized model of state to flow through
the State Transformer during constraint solving and variable unification.
|
2013-07-09 10:25:50 +02:00 |
|
Evan Czaplicki
|
b87b84556c
|
Move the Environment.hs and Fragment.hs files down a directory.
|
2013-07-07 12:54:05 +02:00 |
|
Evan Czaplicki
|
ca8441ff2f
|
Continue getting the new type-checker in order.
|
2013-07-07 12:52:48 +02:00 |
|