on 18de5fe help sign in
all commits
18de5feadd :showGraph to tutd consoleAgentM 3a95699WIP compilation checkpointAgentM 89eff3bWIP transaction supportAgentM 6cbd8a3implement basic restriction clauses and evaluationAgentM fbfd20cWIP add inclusion dependency processingAgentM 2e1e4d2refactoring to add more expression typesAgentM b5477e2implement relation variable type safetyAgentM b605de7refactor RelationalError to be ADTAgentM