berewt

module Main

||| The smart consturctor tool:
||| Check whether an element belongs to a given subset
subset : ((x: a) -> Dec (prop x)) -> a -> Either a (Subset a prop)
subset dec y with (dec y)
  | (Yes prf) = pure (Element y prf)
  | (No contra) = Left y

-- Example

kyhau

devpi-server Upgrade

# Login to the devpi registry server

$ sudo su devpi

# change to home directroy
cd ~