xxx

icon location (∀ m. isMan(m) → isMortal(man)) → isMan(xxx) → isMortal(xxx)

Results 6 repositories owned by xxx

vscode-idris

107
Stars
21
Forks
Watchers

Idris for Visual Studio Code

verified publisher icon zjhmale

Ntha

92
Stars
0
Forks
Watchers

The Ntha Programming Language

verified publisher icon zjhmale

idringen

17
Stars
1
Forks
Watchers

a project manage tool for Idris

verified publisher icon zjhmale

intellij-clojure-pretty-symbol

38
Stars
2
Forks
Watchers

Pretty symbols for your Clojure development with IntelliJ IDEA

verified publisher icon zjhmale

intellij-rainbow

67
Stars
14
Forks
Watchers

Rainbow highlighting identifiers and delimiters for IntelliJ IDEA-based IDEs

verified publisher icon zjhmale

vscode-ag

28
Stars
8
Forks
Watchers

The Silver Searcher for Visual Studio Code

verified publisher icon zjhmale