5c26dbafix notebook link suffixAgentM9 years ago 8e2c764fix spaces in jupyter notebook markdown linkAgentM9 years ago 1c21a49add link from README to jupyter notebook walkthroughAgentM9 years ago 7d6cbb0fix hlint hintsAgentM9 years ago b2cac8fadd jupyter notebook walkthroughAgentM9 years ago 4f061a2add jupyter junk to gitignoreAgentM9 years ago d9aa03aadd magic commands to jupyter kernelAgentM9 years ago cf55b30fix dislay of relation-valued attributes in HTML exportAgentM9 years ago 7cedf20fix error handling in jupyter kernelAgentM9 years ago 903f237remove attribute sorting from HTML relation presentation this caused the HTML tuple header to be out-of-phase with the tuple ordering- oopsAgentM9 years ago fa4774badd helpful message regarding starting dbserverAgentM9 years ago 4c6767eAdd notes regarding the websocket server being started from the jupyter kernelAgentM9 years ago 254007bfix hlint suggestions due to new hlint 2.0.10 versionAgentM9 years ago 9b9fb34move jupyter kernel module to its own directory create setup.py for kernel add kernel documentation resolves #168AgentM9 years ago 4e4a0c8adjust websocket test due to changed JSON APIAgentM9 years ago 0de1865fix hlint suggestionsAgentM9 years ago 874b1adstart websocket server from within the kernelAgentM9 years ago ca7e74bfirst pass at python-based jupyter kernelAgentM9 years ago c1484e6Merge branch 'disk_format_proposal'AgentM9 years ago 36d59ccfix minor hlint complaintAgentM9 years ago 807ec5cadd note regarding usage of System.IOAgentM9 years ago a2b0224add boolean atoms to tutoriald parserAgentM9 years ago 20bf246fix critical tutoriald parsing bug involving compound restriction predicatesAgentM9 years ago 86c3b75fix error pointy string indicating where a parse error occurredAgentM9 years ago 05641f5add docs on current vs. proposed design for discussionAgentM9 years ago 24566feremove errant resurrection of hsc fileAgentM9 years ago 1921dcapatch up darwin fstypeAgentM9 years ago 18d3907switch to assertIOEither in testAgentM9 years ago 1e8311fswitch to Win32 lock file management due to nonsense locking issues with openFileAgentM9 years ago c05dae5windows support for fs journal detectionAgentM9 years ago f37d9dafix broken macros in FSTypeAgentM9 years ago 9461e25dump hsc2hs toolchain dependency stack on Windows doesn't work well with hsc2hs because the argument list becomes too longAgentM9 years ago a03cddaadd darwin support for journaled filesystem detectionAgentM9 years ago d697aa8compiled journal check and tested on darwinAgentM9 years ago f64726cattempt to detect if a filesystem is journaled or not add --disable-fscheck to prevent this from being a fatal errorAgentM9 years ago 038a30eadd v0.3 Changelogv0.3AgentM9 years ago 376d3ebincrement project version to 0.3AgentM9 years ago 08d3945display blog category, tooAgentM9 years ago f0d2499add uniqueness constraint to blogAgentM9 years ago a947f18Merge pull request #162 from agentm/blog_web_exampleAgentM9 years ago bd37eb4eliminate qualified imports from html generation switch to forM_ to improve readabilityAgentM9 years ago e8bc882remove sample queries section add some commentsAgentM9 years ago 5c4556bswitch to using toInsertExprAgentM9 years ago 437d8acadd ability to add a commentAgentM9 years ago a026f56add read-only scotty-based web-interface to blog exampleAgentM9 years ago 07b9e1fMerge branch '144_proxy_tupleable'AgentM9 years ago d36fa64proxy-fy toDefineExprAgentM9 years ago 5b1fe0fswitch to lowercase proxy where possible 3noch believes this will allow for looser Proxy typesAgentM9 years ago 8fbcf59adjust toInsertExpr "forall a. forall t." to "forall a t."AgentM9 years ago 6c8b678Merge pull request #161 from fjf2002/fjf2002-patch-1AgentM9 years ago