archaeron
archaeron
this seems to work for me: ``` declare module "activity-detector" { export type ActivityState = "idle" | "active"; export type ActivityDetectorOptions = { /** * Events which force a transition...
I'm not using this anymore. This was at an other job.
I understand, but I don't even have a project anymore to test this out. But I'm happy for someone else to use the code
exactly. the first part of the video is done (right until ca. 4:15) and the tactics are missing
I'm trying out a new approach to display all the windows that need input and then display stuff like the repl, the tactic, apropos and so on.
here is how the repl looks at the moment. and the tactics mode should be pretty similar https://github.com/idris-hackers/atom-language-idris/blob/1d483c69f7b89ae03a85a9346d823ad375ae51d4/lib/views/repl-view.coffee
Installation: You need to clone it into your `.atom/dev/packages` directory and rename the folder to language-idris or the package settings won't get picked up. Then you need an apm install...
Maybe some dependency I use executes some code on `require`? I should try to find out which dependencies have the most inpact on the loading time.
idris-ide-client doesn't handle ipkg files, so I started a project to parse them, so that we can reuse that part too between the atom and the vscode plugin: https://github.com/archaeron/idris-ipkg
@melted @justjoheinz could you test this out? :) it's not perfect at all, but baby steps. The code is a lot less complex and many more things are typed