Skip to content
Commits on Aug 21, 2009
  1. @mchakravarty

    wibble

    Ignore-this: 249bb7476f1b950d5d84e836ac19dc78
    
    darcs-hash:20090821143452-6295e-23d5eb8590dfff5a5c33cc535696bdee77670382.gz
    mchakravarty committed Aug 22, 2009
  2. @mchakravarty

    Instead of filter as a primitive an examples that encodes filter

    Ignore-this: 4a4f9c46056c6d3579ec3e8f1024e90a
    
    darcs-hash:20090821143028-6295e-92ae7bf549a0af365643f2d121d9b01247503dab.gz
    mchakravarty committed Aug 22, 2009
  3. @mchakravarty

    Added unpairing of Acc values

    Ignore-this: 38010cccf4b60b311dec32d16e205a38
    
    darcs-hash:20090821100210-6295e-0c3fd74d8f3e73997723d360b15ff85c14fcc8ab.gz
    mchakravarty committed Aug 21, 2009
Commits on Aug 19, 2009
  1. @mchakravarty

    Haddock fixes

    Ignore-this: 1a65d2ffa7699fef9ca67aafe6f1b5a1
    * Contributed by dons@galois.com
    
    darcs-hash:20090819075811-6295e-097237164ecd7b0c1bb57a6d4b56c261e1dcb659.gz
    mchakravarty committed Aug 19, 2009
Commits on Aug 17, 2009
  1. @mchakravarty

    More .cabal tweaks

    Ignore-this: 5e18119c5fab786198d285151c0fb720
    
    darcs-hash:20090817040521-6295e-23547fe1ac71cecc6937057af8971215563f3641.gz
    mchakravarty committed Aug 17, 2009
  2. @mchakravarty

    Fix version of package base

    Ignore-this: b1e6171fe1697c8ccd9d73f96e9d9fc
    
    darcs-hash:20090817035246-6295e-7a0beea957189f9e55620eec7178ac05ab386e95.gz
    mchakravarty committed Aug 17, 2009
  3. @mchakravarty

    .cabal wibbles

    Ignore-this: 180e753f6cc1e4155b2ce2b1c6192039
    
    darcs-hash:20090817034651-6295e-8cd96d3cb00ea31bfbbe878dc77b3210116a138b.gz
    mchakravarty committed Aug 17, 2009
  4. @mchakravarty

    No -O in ghc-options (for Cabal)

    Ignore-this: cc18a332cc9b9c472aaf2dc829c9ec54
    
    darcs-hash:20090817034101-6295e-7b4465ac2b01014e69f80a0f5ad72beb93339a5d.gz
    mchakravarty committed Aug 17, 2009
  5. @mchakravarty

    Docu wibble

    Ignore-this: 28d522e9964baa318fd11643495c88ef
    
    darcs-hash:20090817032249-6295e-ec89c2c47c2a81cf34ee2109adb63467fc7a2d3a.gz
    mchakravarty committed Aug 17, 2009
  6. @mchakravarty

    Add examples/simple/Makefile

    Ignore-this: a4867910b1a8377a1419ac08a8d08c51
    
    darcs-hash:20090817031138-6295e-5dc5bb16e51b936aedbe55e539839b25a5639748.gz
    mchakravarty committed Aug 17, 2009
  7. @mchakravarty

    Add D.A.A.Debug

    Ignore-this: b5e45a82d8a800d1c4964118b708e198
    
    darcs-hash:20090817030949-6295e-0606e6016f7688a8d7f95af6d9ee82dca4670a55.gz
    mchakravarty committed Aug 17, 2009
Commits on Aug 16, 2009
  1. @mchakravarty

    Avoid that repeated runs are optimised away in the test t driver

    Ignore-this: 18ae3683ed64f9dab3de95664b54f73f
    
    darcs-hash:20090816134007-6295e-0ef27e749e9daf65f4fa2390b0ac12e5c4874197.gz
    mchakravarty committed Aug 16, 2009
  2. @mchakravarty

    Added missing file & fixed compiling tests

    Ignore-this: b5b6441c3340c2a7e86c2a87b8de25ee
    
    darcs-hash:20090816082510-6295e-5d7fcd2aa1f815e93b910c8f7c0db17bf7baa971.gz
    mchakravarty committed Aug 16, 2009
Commits on Aug 15, 2009
  1. @mchakravarty

    Fix warnings

    Ignore-this: 7d2d956733740b09ee2da5f4cfdd1e81
    
    darcs-hash:20090815122530-6295e-23db1fa32519f49211a204730365fe7a5696f678.gz
    mchakravarty committed Aug 15, 2009
  2. @mchakravarty

    Added DotP to the test driver

    Ignore-this: 31f658b00789a1f2010f9e761ccdb28b
    
    darcs-hash:20090815114038-6295e-561c568e260829ee701d755951841ea8eb44eb11.gz
    mchakravarty committed Aug 15, 2009
  3. @mchakravarty

    List<->array conversion

    Ignore-this: 30c3a30b35c91518ae10f5b5412f645a
    
    darcs-hash:20090815081322-6295e-e915ec5dbc7eea2b8d3e5d1a97df3a7e4f27b40a.gz
    mchakravarty committed Aug 15, 2009
Commits on Aug 14, 2009
  1. @mchakravarty

    Better pretty printing

    Ignore-this: 2f3194d42a18182e6372a60d7051154e
    
    darcs-hash:20090814065753-6295e-8a4e39505c3d9a65f7790809ead488fd230c3e27.gz
    mchakravarty committed Aug 14, 2009
Commits on Aug 13, 2009
  1. @mchakravarty

    Interpret sugared expressions + Debug module

    Ignore-this: faf1104840d377bba590aa24b3218715
    
    darcs-hash:20090813133509-6295e-5c76da8c207e956c3ce431cbfb5c1ecb3892cd33.gz
    mchakravarty committed Aug 13, 2009
  2. @mchakravarty

    Conversion with IArray

    Ignore-this: d1ed9f2d9a5220f5ea3eeff4ca95cbf5
    
    darcs-hash:20090813103415-6295e-e13ea8d28329f91627fd7ac9d7030ae495ca81e9.gz
    mchakravarty committed Aug 13, 2009
Commits on Aug 12, 2009
  1. @mchakravarty

    Completed first version of the interpreter

    Ignore-this: c098178c40641fd13e3c44c825ecb9a5
    
    darcs-hash:20090812134608-6295e-e84d4dc1d9aea1d3772dc3145d8e516bc238ff1a.gz
    mchakravarty committed Aug 12, 2009
Commits on Aug 10, 2009
  1. @mchakravarty

    Implemented most operations on delayed arrays

    Ignore-this: 284d030d978419387ee9a4643840c21b
    
    darcs-hash:20090810140103-6295e-8a5f1580a2b4f0915b856c426e697c445e6efae6.gz
    mchakravarty committed Aug 11, 2009
Commits on Aug 9, 2009
  1. @mchakravarty

    Large parts of the interpreter

    Ignore-this: afbb4c294867a95afd228d6f880c2637
    
    darcs-hash:20090809140718-6295e-2ec81afc3334a165d5458c83c2803aed11adbd14.gz
    mchakravarty committed Aug 10, 2009
Commits on Aug 6, 2009
  1. @mchakravarty

    Adapt examples

    Ignore-this: cdab54c48725d4ce4dc680f5567f2c2e
    
    darcs-hash:20090806140232-6295e-5f62ce85c2887e82ddfbee89abe553c328aad34c.gz
    mchakravarty committed Aug 7, 2009
  2. @mchakravarty

    Programs are now array expressions

    Ignore-this: d5350d2668a9cf4905192c9e6314b99
    
    darcs-hash:20090806134442-6295e-1cd56b47ad21116d47f5eafa44de40b3d47702da.gz
    mchakravarty committed Aug 6, 2009
Commits on Aug 5, 2009
  1. @mchakravarty

    Trying to use HOAS for the monadic part of the surface language

    Ignore-this: 4df5c7d57202bcbcb29dfe022ea93115
    
    darcs-hash:20090805112529-6295e-9956a02536a87cb650a901b1a09534c52f09e674.gz
    mchakravarty committed Aug 5, 2009
Commits on Aug 2, 2009
  1. @mchakravarty

    Use typed de Bruijn indices for array variables, too

    Ignore-this: fb195fe9bb56044c2d06379d8d708515
    
    darcs-hash:20090802130356-6295e-aa433a946c6cb8a794dcbaa18e3628117d7a73e3.gz
    mchakravarty committed Aug 2, 2009
Commits on Jul 29, 2009
  1. @mchakravarty

    Pairs as representation types now work with the type trafo

    Ignore-this: 8e7ccfde83e3a1239a2ba21072298736
    
    darcs-hash:20090729130619-6295e-e2f974440a4007363e8bf0c60a2ae3c709cef58a.gz
    mchakravarty committed Jul 29, 2009
Commits on Jul 25, 2009
  1. @mchakravarty

    Fixed the examples

    Ignore-this: 8dbfd6d3c660714d6a595d1a589cb459
    
    darcs-hash:20090725110146-6295e-5c294bd4d43a5a1beec6a465a7c394059d154a03.gz
    mchakravarty committed Jul 25, 2009
  2. @mchakravarty

    Fixing exports

    Ignore-this: 5432097e1dbff5a047d274f55a7601dd
    
    darcs-hash:20090725055014-6295e-7acc33aa832056eb690ce189a6df5ddb9cb934d3.gz
    mchakravarty committed Jul 25, 2009
  3. @mchakravarty

    Fixed zip

    Ignore-this: 8ff81c589ce4f0b0f8243edb3e43548e
    
    darcs-hash:20090725053458-6295e-1856dd59d2e5b59cc98f84fb3047d6232990ea97.gz
    mchakravarty committed Jul 25, 2009
Commits on Jul 24, 2009
  1. @mchakravarty

    Consistent set of surface language signatures

    Ignore-this: a76d880de416c936ae7425378ab36837
    
    darcs-hash:20090724134115-6295e-2194be38a8a5bcc42ffff105a653cfde240a4391.gz
    mchakravarty committed Jul 24, 2009
Commits on Jul 22, 2009
  1. @mchakravarty

    Uniform representation for indices and array elements

    Ignore-this: 92b177715baa90d6f0db7515873701c0
    
    darcs-hash:20090722142116-6295e-5d1a2204d6e75cf5df761e103c5eed9540df74d1.gz
    mchakravarty committed Jul 23, 2009
Commits on Jul 13, 2009
  1. @mchakravarty

    Towards fixing the surface language

    Ignore-this: ed97fb4a98f76f78a3e34254b7265425
    
    darcs-hash:20090713135649-6295e-95a92244524952dacbe6d0e126e514638f7925f9.gz
    mchakravarty committed Jul 13, 2009
Commits on Jul 12, 2009
  1. @mchakravarty

    Array representations

    Ignore-this: 8feacf1307b63214fcb14f6c85da9c46
    
    darcs-hash:20090712082223-6295e-21bf9b959ccac2b4a957c5b7d8208fff1e7222fb.gz
    mchakravarty committed Jul 12, 2009
Commits on Jul 10, 2009
  1. @mchakravarty

    Converting between ElemRepr and ShapeRepr

    Ignore-this: 95a28aadf0d8d48eb92b0f7c5cfd4d47
    
    darcs-hash:20090710130649-6295e-2578899f80daafd3b55338aea5670772852398e6.gz
    mchakravarty committed Jul 10, 2009
Something went wrong with that request. Please try again.