Every boolean in the Agda codebase can actually be one of True, False, or An internal error has occurred. Please report this as a bug.
@amy Agda is very much like JS in this regard; we just prefer more verbose names than null and undefined
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.