Constrained dynamic typing

exporting contract

mjmWed Sep 10 21:50:31 UTC 2014

singleton on and as

mjmWed Sep 10 21:50:17 UTC 2014

testing with quickcheck

mjmWed Sep 10 21:49:55 UTC 2014

using separate library for type lists

mjmWed Sep 10 21:49:19 UTC 2014

type length fixed

mjmSat Sep 6 16:09:13 UTC 2014

added type list length

mjmSat Sep 6 16:05:06 UTC 2014

added contraction

mjmSat Sep 6 16:04:40 UTC 2014

type family for split

mjmFri Sep 5 21:49:13 UTC 2014

changed split

mjmFri Sep 5 21:34:21 UTC 2014

added rewiring

mjmFri Sep 5 19:47:33 UTC 2014

split and rearrange

mjmFri Sep 5 19:29:14 UTC 2014

nevermind

mjmWed Sep 3 20:51:20 UTC 2014

removed targeted sourcing and sinking

mjmWed Sep 3 20:14:18 UTC 2014

using lens

mjmWed Sep 3 18:17:56 UTC 2014

fixed along

mjmWed Sep 3 15:34:04 UTC 2014

exporting and infixing as

mjmWed Sep 3 15:33:26 UTC 2014

sinking and sourcing to/from Id universe

mjmWed Sep 3 15:32:55 UTC 2014

added as

mjmTue Sep 2 20:53:26 UTC 2014

fixed sourcing and sinking

mjmTue Sep 2 20:41:06 UTC 2014

added sources and sinks

mjmTue Sep 2 19:18:01 UTC 2014

profunctors may now map from one universe to another

mjmMon Sep 1 12:54:35 UTC 2014

using universes

mjmMon Sep 1 12:20:07 UTC 2014

cabal version bump

mjmMon Sep 1 12:19:37 UTC 2014

removed kind signature on Insert

mjmSun Aug 31 17:30:58 UTC 2014

liberal type synonyms

mjmSun Aug 31 17:15:59 UTC 2014

removed Only type synonym

mjmSun Aug 31 17:08:21 UTC 2014

renamed functions

mjmSun Aug 31 15:55:54 UTC 2014

more lenient type signature for on

mjmSun Aug 31 14:39:03 UTC 2014

refactored signature of plug'

mjmSun Aug 31 14:23:16 UTC 2014

changed 'on' to work on monomorphs

mjmSun Aug 31 14:22:50 UTC 2014