git.iko.soy/squeal
on 0f3d84f help sign in
0f3d84fUpdate Set.hsEitan Chatav 5cc0469SetOf ~> SetEitan Chatav b40c66bUpdate Function.hsEitan Chatav 40ad89afunction changesEitan Chatav c42b09dmore rehierarchingEitan Chatav e3cc556re-hierarch definitionsEitan Chatav 10c4aa6drop functions and operatorsEitan Chatav 50bf2adindexes and functionsEitan Chatav c824222drop if existsEitan Chatav ee96a86create or replaceEitan Chatav efdac7ecreate if not existsEitan Chatav ba71252git hashEitan Chatav ce3e31dhashEitan Chatav 079a429remove dead codeEitan Chatav af3bcfcremove commentEitan Chatav cffa382factor out free categoriesEitan Chatav ccc4620Merge pull request #146 from morphismtech/dev-funEitan Chatav b00ae4crenaming and type applicationEitan Chatav 66d88edfunction DB typesEitan Chatav 3bd8b61create and drop operatorsEitan Chatav 5dd61abscrap a NilEitan Chatav 6817f11Merge branch 'dev' into dev-funEitan Chatav a3ac8ddselect distinct onEitan Chatav b0f6083sql expressions and queries as functionsEitan Chatav 4a6ab04haddockEitan Chatav c79185ddelete a lineEitan Chatav 6be23e2setof and moreEitan Chatav 79e6b1ctypesEitan Chatav ea86c4clanguageSqlEitan Chatav 70f2f10Merge branch 'dev' into dev-funEitan Chatav f29788fMerge pull request #145 from morphismtech/dev-indexEitan Chatav 121553efix parenthesization of indexesEitan Chatav 22fb78fmore operators and functionsEitan Chatav 68393ecdrop functionEitan Chatav 20cad41functionsEitan Chatav f57b03bMerge branch 'dev' into dev-indexEitan Chatav 75661c1Merge pull request #141 from morphismtech/dev-oidEitan Chatav 4149bd1drop indexEitan Chatav 53523c5index methodEitan Chatav d641873indexesEitan Chatav 008b288simpler doctestEitan Chatav 913536afix merge bugEitan Chatav bb711e6Merge branch 'dev' into dev-oid-mergeEitan Chatav 7996804Merge pull request #140 from morphismtech/dev-rangeEitan Chatav af6826bcheck sequentially for nowEitan Chatav dac1fa6rename tests and executableEitan Chatav f94cce2disintegrate test suitesEitan Chatav 65893e0Update Property.hsEitan Chatav 1afd17ctime and time range testsEitan Chatav 78d8e0bMerge branch 'dev' into dev-rangeEitan Chatav