Mercurial
Mercurial
>
hg
>
metaphor
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-300
-100
-60
+60
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
yay Paul Phillips, compile time improved
2012-01-11, by Scott Morrison
merging by hand, nuking .scala_dependencies
2012-01-11, by Scott Morrison
oh dear, turn off -optimise in the compiler. Hopefully this will speed things up
2012-01-11, by Scott Morrison
while we're building infrastructure, here's 'Equalizers'
2012-01-11, by Scott Morrison
removing some cruft in NormalForm
2012-01-11, by Scott Morrison
Made another yoneda test. It doesn't compile so I commented it out. I don't quite know how to look at the value of a dataset at a specific object.
2012-01-10, by David Spivak
minor changes.
2012-01-10, by David Spivak
Moved a test from Test into DevTest, because that's where it belonged.
2012-01-10, by David Spivak
Automated merge with https://tqft.net/hg/metaphor
2012-01-10, by David Spivak
Made a test that products and coproducts work pointwise.
2012-01-10, by David Spivak
Tried to make a test for set multiplication. But scala couldn't find FSet.
2012-01-10, by David Spivak
Automated merge with https://tqft.net/hg/metaphor
2012-01-11, by Scott Morrison
finished implementing (co)products on Sets
2012-01-11, by Scott Morrison
the 'refined' build manager is a zillion times better
2012-01-11, by Scott Morrison
working on products
2012-01-11, by Scott Morrison
adding the MIT license
2012-01-11, by Scott Morrison
merging by hand
2012-01-10, by David Spivak
minor changes
2012-01-10, by David Spivak
finished rearranging the functor hierarchy?
2012-01-11, by Scott Morrison
cleaing up Functors
2012-01-11, by Scott Morrison
fixing yoneda problem
2012-01-11, by Scott Morrison
minor
2012-01-11, by Scott Morrison
allowing parallel tests again
2012-01-11, by Scott Morrison
commenting out broken yoneda test
2012-01-11, by Scott Morrison
commenting out broken tests...
2012-01-11, by Scott Morrison
Added a test for Set.Product, even though I didn't know how to create sets. This will have to be fixed. It's giving me a strange error; possibly because I created a file rather than some other type of thing, like a scala project or a package.
2012-01-10, by David Spivak
Hopefully fixed a test.
2012-01-10, by David Spivak
Minor changes to organization.
2012-01-10, by David Spivak
fixing some broken tests, and the build
2012-01-10, by Scott Morrison
products, coproducts, for Sets and Datasets
2012-01-10, by Scott Morrison
moving working tests
2012-01-10, by Scott Morrison
fixing the build
2012-01-10, by Scott Morrison
fixing some stuff in DevTest
2012-01-10, by Scott Morrison
smushing src/dev back into src/test
2012-01-10, by Scott Morrison
Automated merge with https://tqft.net/hg/metaphor
2012-01-10, by Scott Morrison
breaking everything, to rearrange DevTest
2012-01-10, by Scott Morrison
moving opposite down to SmallCategory, more work on yoneda
2012-01-10, by Scott Morrison
Automated merge with https://tqft.net/hg/metaphor
2012-01-10, by Scott Morrison
breaking everything, merging David's changes
2012-01-10, by Scott Morrison
Moved DevTest to net.metaphor
2012-01-10, by David Spivak
A non-working version that's close, so that Scott can see the current situation.
2012-01-10, by David Spivak
changed terminalDataset to Chain(2).Datasets.terminalObject.
2012-01-09, by David Spivak
Automated merge with https://tqft.net/hg/metaphor
2012-01-10, by Scott Morrison
reorganizing Functor traits
2012-01-10, by Scott Morrison
Made test for Yoneda.
2012-01-09, by David Spivak
I hope I merged DevTest right.
2012-01-09, by David Spivak
Merged DevTest by hand.
2012-01-09, by David Spivak
Moved a test out of Test.scala since it involves a non-working composition of functors.
2012-01-09, by David Spivak
stubbing Yoneda, starting to organize the whole Functor hierarchy
2012-01-10, by Scott Morrison
salvaging some tests from the commented sections of DevTest
2012-01-10, by Scott Morrison
replacing an 'equal' with 'beIsomorphicTo', and another test passes
2012-01-10, by Scott Morrison
moving some more newly successful tests around
2012-01-10, by Scott Morrison
moving newly successful tests around
2012-01-10, by Scott Morrison
yay, fixed the reflexivity problem; always always always implement hashCode at the same time as equals
2012-01-10, by Scott Morrison
making something that crashes a lazy val
2012-01-10, by Scott Morrison
merging changes
2012-01-09, by Scott Morrison
throwing in some extra hashcode, still don't understand why findIsomorphismsTo isn't reflexive
2012-01-09, by Scott Morrison
hmm, looks like dataset isomorphism is failing; it's not even reflexive on some examples
2012-01-09, by Scott Morrison
Forgot to save last change.
2012-01-09, by David Spivak
made some changes to tests.
2012-01-09, by David Spivak
less
more
|
(0)
-300
-100
-60
+60
tip