O

PackageRank

7

This PR is for implementing #986 as an GSoC project. Mentored by @gbaz . I will correct the error I made in the change.

Added licenseIsFsfLibre to accepted licenses Have imported Distribution.SPDX.LicenseId as SPDX.LId (to get the licenseIsFsfLibre function) Not sure what coding style is used Closes #745

Internal error at Agda/TypeChecking/Substitute.hs:140:33

5

On agda 2.6.4.1 and 2.6.4.3 ```agda module Bug {a} where open import Agda.Primitive using (lsuc; _⊔_) open import Agda.Builtin.Sigma using (Σ; _,_) open import Agda.Builtin.Nat using (Nat; suc) data _≤′_...