Some experiments with Eq
authorSimon Huber <hubsim@gmail.com>
Mon, 14 Sep 2015 12:59:00 +0000 (14:59 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 29 Jul 2016 09:45:58 +0000 (11:45 +0200)
commitf46bf2a644a196876074f8703a88e7ebd00a93a5
tree9c73086a0d4ac9d6cff16cb0ed98680075920e3f
parent63d12c97842bc9c6692b928a9b31050cae709a1a
Some experiments with Eq
examples/eq.ctt [new file with mode: 0644]