James Martin issues

Repositories
Issues
Comments

Results 2 issues of


                                            James Martin

Panic at Cubical.hs:2265 with `--without-K` and `--prop`

Encountered while trying to convert some code from `Set` to `Prop`. Example: ```agda {-# OPTIONS --without-K --prop #-} open import Agda.Builtin.Nat renaming (Nat to ℕ; zero to Z; suc to...

without-K

regression on master

prop

proglangdesign.net

I don't know what your criteria for including a language are, but if you haven't seen it already, there are many additional "indie" languages on https://proglangdesign.net (https://github.com/proglangdesign/proglangdesign.github.io) and the /r/ProgrammingLanguages...