initiate testing the concept of local coherent set of units.
forever typechecker.
further test.
update the test pseudo-code.
add some comments
begin to revive zahl module.
reflect the change to cabal
prepare test environment
add type level integer.
Merge branch 'lcsu' of github.com:goldfirere/units into lcsu
start testing singletons library.
With singletons > 0.9, writing typelevel functions are much easier!
Merge branch 'lcsu' of github.com:goldfirere/units into lcsu
the folder that contains these one-time codes are conventionally named 'attic' .
update the definition of equality over type level integer.
we can promote and compare on list of integers.
add execution instruction.
put map function in proper place.
successful lookup of a typelevel map.
initiate test platforms.