Skip to content
Scala
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
project Bump versions May 9, 2011
AList.scala arbitrary-length applicative builder Jul 17, 2010
Boolean.scala initial commit May 12, 2010
Comparison.scala uncomment Nat examples Jun 22, 2010
Contains.scala retronym's subtractive types HList-style Jul 15, 2010
Dense.scala RC6 and intermediate programs for problem 4 Jun 21, 2010
DenseTest.scala initial commit May 13, 2010
Euler4.scala RC6 and intermediate programs for problem 4 Jun 22, 2010
Folds.scala initial commit May 13, 2010
HApply.scala implement happly with Function1 instead of custom HApply Oct 16, 2010
HApplyTest.scala implement happly with Function1 instead of custom HApply Oct 17, 2010
HList.scala type-indexed updating Oct 28, 2010
HListTest.scala HList type-indexing, limited by Scala bug #3201 Oct 21, 2010
HZip.scala initial commit May 13, 2010
Indexed.scala initial commit May 13, 2010
KList.scala * replace MList with KList for better type preservation Jun 24, 2010
LICENSE new BSD license Oct 28, 2010
Nat.scala uncomment Nat examples Jun 22, 2010
NatShiftR.scala retronym's subtractive types HList-style Jul 16, 2010
NatTest.scala * replace MList with KList for better type preservation Jun 24, 2010
R2.scala initial commit May 13, 2010
TList.scala initial commit May 13, 2010
TTuple.scala RC6 and intermediate programs for problem 4 Jun 22, 2010
Test.scala implement happly with Function1 instead of custom HApply Oct 17, 2010
TipTest.scala test for type-indexed HLists Oct 22, 2010
Transform.scala MList, HList.toList, ~> literals Jun 3, 2010
Tree.scala bump to 2.8.1.RC3 Oct 16, 2010
TreeTest.scala bump to 2.8.1.RC3 Oct 16, 2010
TypeSelect.scala type-indexed updating Oct 28, 2010
TypedMap.scala heterogeneous map Jun 5, 2010
TypedMapTest.scala extra asserts Jun 5, 2010
Unzip.scala initial commit May 13, 2010
UpdateTest.scala type-indexed updating Oct 28, 2010
ZipWith.scala swap order of arguments in ZipWith methods Oct 16, 2010
Something went wrong with that request. Please try again.