Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd_patch
Branches Tags
agda
/
examples
/
lib
/
Data
/
Real
/
Gauge.agda

Gauge.agda 107 B
Permalink History Raw

123456789 
  1. 

  2. module Data.Real.Gauge where
    3. 

  3. 

  4. import Data.Rational
    5. 

  5. open Data.Rational using (Rational)
    6. 

  6. 

  7. Gauge = Rational
    8. 

  8. 

  9.