Joey Eremondi
Joey Eremondi
The Language.Rust module would be very useful for other people who are generating Rust from Haskell. In particular, I've been looking at writing a Rust backend to Elm for quite...
Sorry to add to the elm-package issues, but I just ran into this and thought it should be logged. Basically what the title says: if you forget to add your...
Consider the following session: ``` > x = 3 3 : number > xThunk = \_ -> x : a -> number > x = "Hello" "Hello" : String >...
### Thank you for the bug report - [X] I am using the latest version of `lsp-mode` related packages. - [X] I checked [FAQ](https://emacs-lsp.github.io/lsp-mode/page/faq/) and [Troubleshooting](https://emacs-lsp.github.io/lsp-mode/page/troubleshooting/) sections - [X] You...
Judging from here: https://ncatlab.org/nlab/show/propositional+extensionality > the assertion of this equivalence is a special case of the univalence axiom But axiom K is incompatible with univalence, because it implies Uniqueness of...
I'm wondering if you've been following the development of Idris 2 at all, it seems like an excellent match for GRIN. Basically, Idris2 makes it extremely simple to write your...
This tool looks very promising, I'd also like to use it with Unicode (like company-coq lets you input). When I tried that, the tool just silently fails and produces no...
I'm very excited to use this, and I'm slowly making progress, but I'm hitting roadblocks again: Minimal Example: ```agda import Generic.Lib.Prelude as Generic open import Generic.Main using (deriveEqTo) open import...