Skip to content
Real numbers in agda
Agda
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
Integer.agda
Natural.agda
Rational.agda
Real.agda
common.agda
You can’t perform that action at this time.