documentation
oni2
documentation | oni2 | |
---|---|---|
14 | 42 | |
1,006 | 7,735 | |
0.3% | 0.0% | |
4.7 | 0.0 | |
2 months ago | over 1 year ago | |
Reason | ||
GNU General Public License v3.0 or later | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
documentation
- Currying
-
How do product and record types work in your language?
The example from the PureScript documentation is:
-
PureScript in Production
Filippo: With Haskell knowledge, reading PureScript documentation was enough.
-
Anyone know what is wrong with my Vector3 Traversable instance?
See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information, or to contribute content related to this error.
- [Help] Not able to import Math module. But able to find purescript-math module under bower_components
-
[Help] Basic argonaut-codecs example
[1 of 1] Compiling Main Error found: in module Main at src/Main.purs:40:35 - 40:39 (line 40, column 35 - line 40, column 39) Could not match type { age :: Maybe Int , name :: String , team :: Maybe String} with type Json while checking that type t0 is at least as general as type Json while checking that expression user has type Json in value declaration main where t0 is an unknown type See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information, or to contribute content related to this error. [error] Failed to build.)
-
Kind system
I'm trying to get a better grasp on the type system of purescript. One thing I'm struggling to fully understand is how the so-called "kind system" works. The language reference is very brief about it.
-
Elegant fix to this broken intuition, wrt subtract/minus-sign operator syntax, in partial application of infix operators?
purescript uses (_ - 5) for that operator section, which i'm not a total fan of, but it's at least unambiguous; agda would write it as _- 5
-
Helix: a post-modern text editor
The one page you should add to the documentation is "differences from Vim".
For example, https://github.com/purescript/documentation/blob/master/lang... makes picking up PureScript as a Haskell programmer much easier than having to read all of the documentation and do the diff yourself.
-
Coming from Haskell... Starting pains. How do you load your source intro repl?
More info can be found here: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md
oni2
-
We Have to Start Over: From Atom to Zed
It was onivim2. Iirc it was a one-man show, and stopped when funding dried up. I also hoped to see a a lot from it. Maybe the dev took too much work on his plate, with an unproven language with limited libraries?
https://github.com/onivim/oni2
-
How VSCode made bracket pair colorization 10,000x faster
It's unfortunate that oni2 stopped development.
It had the promise of all the benefits of VS Code, but performance of a native app.
https://v2.onivim.io
-
Reflections from 12 years of vim (ramble)
Yeah, https://github.com/onivim/oni2/issues/3811
- Onivim – The retro-futuristic modal editor
-
VSCode-Neovim: Use embedded Neovim in VSCode without emulation
Onivim development has stopped, it is now abandonware: https://github.com/onivim/oni2/issues/3811#issuecomment-9103...
-
VSCode with Neovim
It's MIT licensed now, so anyone could pick it up and continue work on it, but the original authors have basically stopped working on it. This GitHub issue was the last major news update.
- Onivim 2 – “Has the dev stopped?”
- Leap.nvim: Neovim’s Answer to the Mouse
- Neovim 0.8 Released
-
HypeScript: Simplified TypeScript's type system in TypeScript's own type system
I never tried CoffeeScript since nobody pays me for it, though I am curious about ReasonML as an alternative, there's a Neovim front-end[0] coded in Reason that compiles natively[1], and supports existing VS Code plugins from the VSCodium plugin repository[2] which I still have yet to look at how the heck they pulled that bit off, but it is pretty interesting.
[0]: https://github.com/onivim/oni2#introduction
[1]: https://github.com/revery-ui/revery
[2]: https://open-vsx.org/
What are some alternatives?
helix - A post-modern modal text editor.
LunarVim - 🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.
package-sets - PureScript packages for Spago and Psc-Package
vscode-neovim - Vim mode for VSCode, powered by Neovim
haddock-cheatsheet - A documentation-only package exemplifying haddock markup features
NvChad - Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
saka-key - A keyboard interface to the web
my-lunarvim-config - My config for LunarVim
openvsx - An open-source registry for VS Code extensions
kakoune - mawww's experiment for a better code editor
doom-nvim - A Neovim configuration for the advanced martian hacker [Moved to: https://github.com/doom-neovim/doom-nvim]