Skip to content
View elseLuna's full-sized avatar

Block or report elseLuna

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. idris2-lsp idris2-lsp Public

    Forked from idris-community/idris2-lsp

    Language Server for Idris2

    Idris

  2. idris2-lsp-vscode idris2-lsp-vscode Public

    Forked from bamboo/idris2-lsp-vscode

    Visual Studio Code integration for the Idris 2 language server

    TypeScript

  3. idris2-filepath idris2-filepath Public

    Forked from stefan-hoeck/idris2-filepath

    Unix style file paths in Idris2

    Idris