Author Commit Message Labels Comments Date
Takayuki Muranushi avatarTakayuki Muranushi
arbitary instances for Values.
Takayuki Muranushi avatarTakayuki Muranushi
sqrt added.
Takayuki Muranushi avatarTakayuki Muranushi
sqrt added.
Takayuki Muranushi avatarTakayuki Muranushi
export `per` from UnitTyped.
Takayuki Muranushi avatarTakayuki Muranushi
mass of proton and boltzmann's constant added.
Takayuki Muranushi avatarTakayuki Muranushi
astronomical length unit values added.
Takayuki Muranushi avatarTakayuki Muranushi
astronomical length units added.
Takayuki Muranushi avatarTakayuki Muranushi
Polymorphic comparison between dimensional types.
Takayuki Muranushi avatarTakayuki Muranushi
no convertible constraint on the result.
Takayuki Muranushi avatarTakayuki Muranushi
forgotten to add the type module.
Takayuki Muranushi avatarTakayuki Muranushi
modify the derived types.
Takayuki Muranushi avatarTakayuki Muranushi
result convertible constraint added for multiplications.
Takayuki Muranushi avatarTakayuki Muranushi
astronomical mass units added.
Takayuki Muranushi avatarTakayuki Muranushi
reorganize the modules.
Takayuki Muranushi avatarTakayuki Muranushi
lift class constraint in :|
Takayuki Muranushi avatarTakayuki Muranushi
version bump.
Takayuki Muranushi avatarTakayuki Muranushi
Convertible is now 1-argument class.
Takayuki Muranushi avatarTakayuki Muranushi
Let us move gradually from functional dependencies to type families.
Takayuki Muranushi avatarTakayuki Muranushi
add comments on Dimension and Unit.
Takayuki Muranushi avatarTakayuki Muranushi
Moving to one-argument Convertible.
Takayuki Muranushi avatarTakayuki Muranushi
start modification of Convertible to use type families.
Takayuki Muranushi avatarTakayuki Muranushi
test type family for Convertible.
Takayuki Muranushi avatarTakayuki Muranushi
version bump
Takayuki Muranushi avatarTakayuki Muranushi
rewrite not to use :*|.
Takayuki Muranushi avatarTakayuki Muranushi
:| is safer (because of the dependent type annotation.)
Takayuki Muranushi avatarTakayuki Muranushi
introduce two type operators :| and :*|, to make the type annotations simpler.
Takayuki Muranushi avatarTakayuki Muranushi
introduce the new notation :|
Takayuki Muranushi avatarTakayuki Muranushi
add momentum as a derived unit.
Takayuki Muranushi avatarTakayuki Muranushi
we need doctest-0.9.5 to pass this test.
Takayuki Muranushi avatarTakayuki Muranushi
added typeable test.
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.