From: Tomáš Musil Date: Fri, 28 Nov 2014 19:57:05 +0000 (+0100) Subject: definitions, imports, logic X-Git-Url: http://git.tomasm.cz/fp.git/commitdiff_plain/e0da0730ff4b328909789806b1d65b89eeb3b84b?hp=e0da0730ff4b328909789806b1d65b89eeb3b84b definitions, imports, logic ---