Giters
mikesol
/
purescript-typelevel-rationals
Typelevel rationals in PureScript
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
1
Issues:
3
Forks:
mikesol/purescript-typelevel-rationals Issues
Create integer exponentiation
Updated
4 years ago
Reduce rationals via Euclidean algorithm
Updated
4 years ago
Qualify rationals via prism-like construct
Updated
4 years ago