Sat, 24 Mar 2018 12:09:26 +0200 | Teemu Piippo | renamed sink() to singleton() | changeset | files |
Sat, 24 Mar 2018 12:06:49 +0200 | Teemu Piippo | used squared() | changeset | files |
Sat, 24 Mar 2018 12:06:22 +0200 | Teemu Piippo | Moved includes, added squared() function | changeset | files |