| Sat, 14 Nov 2015 08:45:51 +0100 | haftmann | separate ML module for interpretation | changeset | files |
| Sat, 14 Nov 2015 08:45:51 +0100 | haftmann | reverted half-baken 7d1127ac2251 | changeset | files |
| Sat, 14 Nov 2015 08:45:51 +0100 | haftmann | explicit computation of sort arguments for code equations makes less assumption about sort arguments of underlying type class instances | changeset | files |
| Sat, 14 Nov 2015 13:48:49 +0100 | wenzelm | more standard ML, to make SML/NJ more happy; | changeset | files |
| Fri, 13 Nov 2015 23:10:35 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 13 Nov 2015 21:43:31 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 13 Nov 2015 21:31:04 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 13 Nov 2015 21:28:57 +0100 | wenzelm | tuned whitespace; | changeset | files |