Idris2Doc : Search.Tychonoff.PartI

Search.Tychonoff.PartI

(source)
This module is based on Todd Waugh Ambridge's blog post series
"Search over uniformly continuous decidable predicates on
infinite collections of types"
https://www.cs.bham.ac.uk/~txw467/tychonoff/

Definitions

dsc : Discrete x => (Nat -> x) -> (Nat -> x) -> NatInf
Totality: total
Visibility: public export