worudso

https://reasonml.github.io/docs/en/installation I was following this installation guide and met this error. ```shell yarn global add bs-platform bsb -init my-new-project -theme basic-reason cd my-new-project yarn build ``` I just did the...

Support for search

16

In the latest version of wouter, when the location is `somewebsite.com/users?name=john` ```typescript const [location] = useLocation(); ``` `location` only retrieves `/users` emitting `?name=john`. And even though I push new query...

I found `cursor_to_offset` function internally used. I know that I can define cursor myself, but I think there has to be a way to deal with predefined cursor. But there...

# Steps to Reproduce ```idris data Even: Nat -> Type where EvenZ: Even Z EvenS: Even n -> Even (n + 2) total lemma1: Even Z lemma1 = EvenZ total...