URL details: ualib.org/Setoid.html

home > domains > ualib.org > ualib.org/Setoid.html

URL title: Setoid module
URL paragraphs: ↑ Top This module collects all submodule of that part of the library based on setoids, as opposed to “bare” types (see Base.lagda), or Cubical Agda (used in the forthcoming cubical-agda-algebras library). {-# OPTIONS --without-K --exact-split --safe
URL last crawled: 2022-12-20
URL speed: 175.000 MB/s, downloaded in 0.001 seconds

open external url

We found no external links pointing to this url.