Anthony Vandikas issues

Repositories
Issues
Comments

Results 1 issues of


                                            Anthony Vandikas

Proof of ⊥ with sized types

The following code is accepted by both the latest release and `master`. ```agda {-# OPTIONS --sized-types #-} module Fix where open import Agda.Builtin.Size open import Agda.Primitive private variable a :...

sized-types

false

infinity-less-than-infinity