Commit Log
| commit | description | author | date |
|---|---|---|---|
| 52045b30aab0 | Add a couple more unification tests | Steve Losh | Wed, 09 Mar 2016 11:36:04 +0000 |
| a6a6f6361af3 | Test the occurs check | Steve Losh | Wed, 09 Mar 2016 11:33:07 +0000 |
| commit | description | author | date |
|---|---|---|---|
| 52045b30aab0 | Add a couple more unification tests | Steve Losh | Wed, 09 Mar 2016 11:36:04 +0000 |
| a6a6f6361af3 | Test the occurs check | Steve Losh | Wed, 09 Mar 2016 11:33:07 +0000 |