Remove AbsData for now
Janky implementation of John Major equality
Janky implementation of quotients
Cleaned up bool example
Remove debris
Fix Bool.pi
Implement the integers
Construct the rationals as a quotient
Make denominators non-zero
Fixed some bugs in typechecking quotients
Added numerator counterexample
Demonstrated the propositional truncation as a quotient
Demonstrate extracting numerator & denominator under -1-truncation
Simplify ~ for rationals
Fix pretty-printing of QElim
Merge pull request #1 from jonsterling/quotients

Quotients