Teddy Liu
Results
2
issues of
Teddy Liu
The current version of the library only supports Python 3. Using some future imports and removing some type annotations, this make the library backwards compatible with Python 2.
Hi, I'm trying to represent a function that returns a dependent sum like below ``` {-@ measure isLeft :: Either a b -> Bool @-} isLeft (Left _) = True...
errormsg
good first issue