2011-05-04 | blanchet | smoother handling of ! and ? in type system names | changeset | files |
2011-05-04 | blanchet | tuning | changeset | files |
2011-05-04 | blanchet | compile + added monotonicity tests | changeset | files |
2011-05-04 | blanchet | documentation tuning | changeset | files |
2011-05-04 | blanchet | renamed "many_typed" to "simple" (as in simple types) | changeset | files |
2011-05-04 | blanchet | update type system documentation | changeset | files |
Loading... |