not really known
Updated 2016-11-03 19:15:58 +03:00
Effectful bindings for SQLite (forked from IdrisWeb)
Updated 2016-04-22 21:57:41 +03:00
Полный солвер дз авдошина за 1 курс (в варианте 15-16 учебного года). Один из двух существовавших на тот момент солверов, находящий истинные минимальные выражения для функций во 2 задании.
Updated 2015-10-13 13:03:46 +03:00
Reversible parsing and pretty-printing.
Updated 2014-12-15 22:26:52 +03:00
Morph between tuples with the same "flattened" representation.
Updated 2014-11-23 01:39:48 +03:00