Missing does-not-export warning for `open` directive for parametrised module

error-reporting modules regression in 2.5.1 scope bug

Project agda/agda

gallais·23 Jun 2020·2 Comments

Exploit: Injective type constructors and abstract prove false

abstract false injectivity bug unification

Project agda/agda

andreasabel·11 Oct 2016·3 Comments

Core Syntax Documentation

documentation faq

Project agda/agda

pnlph·27 Jun 2019·2 Comments

👍2

Show more agda issues

fromNow and toNow

Project moment/moment

rightaway·16 Nov 2015·1 Comments

Support seasons, like summer ('2016-SU')

Project moment/moment

franciscolourenco·6 Mar 2016·1 Comments

Cannot resolve 'file' or 'directory' ./locale

Project moment/moment

unix112·26 Mar 2017·1 Comments

Show more moment issues

Top Jitsi-meet issues

"Everyone starts hidden" not clear

wontfix

Project jitsi/jitsi-meet

jidanni·6 Apr 2018·3 Comments

👍2

"Unfortunately something went wrong" when second user joins

question

Project jitsi/jitsi-meet

vishalkale1·15 Jun 2020·1 Comments

👍1

how to change the hostname configured with a first installation ?

Project jitsi/jitsi-meet

DigitalCoder·19 Mar 2018·1 Comments

Show more jitsi-meet issues

Top Tabulator issues

add row title column

Question - Ask On Stack Overflow

Project olifolkerd/tabulator

lalwende00·9 Mar 2017·2 Comments

format type link to open url in a new tab.

Enhancement Question - Ask On Stack Overflow

Project olifolkerd/tabulator

cemmons·5 May 2018·1 Comments

👍3

Unable to process data due to invalid data type Expecting: array Received: object Data:

Question - Ask On Stack Overflow

Project olifolkerd/tabulator

nuclearsiloman·20 Oct 2017·1 Comments

Show more tabulator issues

Top Agda issues

Missing does-not-export warning for `open` directive for parametrised module

Exploit: Injective type constructors and abstract prove false

Core Syntax Documentation

Top Moment issues

fromNow and toNow

Support seasons, like summer ('2016-SU')

Cannot resolve 'file' or 'directory' ./locale

Top Jitsi-meet issues

"Everyone starts hidden" not clear

"Unfortunately something went wrong" when second user joins

how to change the hostname configured with a first installation ?

Top Tabulator issues

add row title column

format type link to open url in a new tab.

Unable to process data due to invalid data type Expecting: array Received: object Data:

Top Vuepress issues

Error rendering /: ReferenceError: document is not defined

Markdown [[toc]] requires two clicks to go to page anchor

png can not found in assets img