summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-01-10Fix reporting of parse errors in notebookHEADmainDougal
2024-01-08Unbreak some examplesDougal
2024-01-08Trying to fix gh-pages url path issuesDougal
2024-01-08Fix discrepancy between dynamic and static versions of notebook.Dougal
2024-01-08Fix bug in notebook refresh.Dougal
2024-01-08Drop source info from `import` statements.Dougal
2024-01-05Start getting examples working againDougal
2024-01-05Get static HTML pages working with the hover-info goodnessDougal
2024-01-03Add a builder for incremental computations.Dougal
2023-12-15Use a type family to provide the `Delta` type for incremental state.Dougal
2023-12-13Tweak binop source ids so that colon, dollar etc are considered atomicDougal
2023-12-13Add hover types for bindersDougal
2023-12-13Show types of local vars and subexpressions on hoverDougal
2023-12-13Highlight both cell status and minimap status togetherDougal
2023-12-13Change `data` to `enum`Dougal
2023-12-13Report the module where top-level names are definedDougal
2023-12-12Delete OutReaderT (it's redundant with ReaderT1)Dougal
2023-12-12Show definitions of top-level vars on hoverDougal
2023-12-12Tweaks to status minimapDougal
2023-12-12Organize source information by pass and do more of the work on the Haskell side.Dougal
2023-12-10Indicate whether completed cells finished with errors in minimap.Dougal
2023-12-10Remove some unhelpful polymorphism in Eval. Getting concrete.Dougal
2023-12-10Add a "minimap" sidebar that shows the status of each cell.Dougal
2023-12-09Switch to typescript. Much more civilized.Dougal
2023-12-06Update comment syntax in examplesDougal
2023-12-06Merge branch 'dev-2023'Dougal
2023-12-05More source IDs during inferenceDougal
2023-12-05Use # instead of -- for commentsDougal
2023-12-05Highlight error source locationsDougal
2023-12-05Fix bug in applying highlighting updatesDougal
2023-12-04Start adding SrcIds to user-facing errorsDougal
2023-12-03Make a separate ADT case for each user-facing error message.Dougal
2023-12-02Move Pretty instances to where the data types are defined.Dougal
2023-12-02Update prelude to use sugarfree versions of RangeX typesDougal
2023-12-01Show types on hover!Dougal
2023-12-01Add an ExceptT monad transformerDougal
2023-12-01Simplify logging and allow realtime updates from runtime printsDougal
2023-12-01Add placeholder for types on hover. Need to add the logging logic next.Dougal
2023-11-30Make hover-info updates even more incrementalDougal
2023-11-30Make hover-info updates incremental so that passes can report as they completeDougal
2023-11-29Freeze highlighting and hover on click.Dougal
2023-11-29Plumbing for adding textual information on hover.Dougal
2023-11-28Move most of the highlighting logic to Haskell where we can change it more ea...Dougal
2023-11-28Tweaks to parse highlighting. It's works pretty nicely now!Dougal
2023-11-27Use explicit data structures to represent the AST on the browser side.Dougal
2023-11-25Fix bugs in lexeme trackingDougal
2023-11-22Traverse concrete AST to get information about relationships between bits of ...Dougal
2023-11-22Replace source spans with IDs.Dougal
2023-11-20Merge pull request #1341 from axch/work-stealing-4Alexey Radul
2023-11-20Separate out the constructors of the two kinds of Work structs intoAlexey Radul
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-22 18:10:33 +0000