Fri, 08 Feb 2019 14:42:28 +0100 | wenzelm | tuned signature: proper exports; | changeset | files |
Fri, 08 Feb 2019 14:06:20 +0100 | wenzelm | more Haskell operations; | changeset | files |
Mon, 04 Feb 2019 19:05:52 +0100 | Manuel Eberl | Resolved codegen problem with uniformity for formal Laurent series | changeset | files |