2014-10-06 02:06:29 +00:00
|
|
|
import data.num logic data.prod data.nat data.int algebra.category
|
|
|
|
|
open num prod int nat category functor
|
|
|
|
|
|
|
|
|
|
print instances inhabited
|
|
|
|
|
print raw 3+2
|
|
|
|
|
print options
|
|
|
|
|
print coercions functor
|
|
|
|
|
print "-----------"
|
|
|
|
|
print coercions
|
2014-10-08 00:28:26 +00:00
|
|
|
print "-----------"
|
|
|
|
|
print classes
|
