HEAD | f3d86bc | Update stale.yml | 06 March 2024, 07:19:27 UTC |
refs/heads/comonad-equality | c7da9be | a sketch of the comonad laws - current definitions are insufficient | 21 March 2017, 03:18:45 UTC |
refs/heads/finite-map-remove-facts | 5ab128b | remove facts for finite maps. | 25 June 2019, 02:01:06 UTC |
refs/heads/gh-pages | 4e16cb5 | Update templates | 17 January 2024, 23:01:51 UTC |
refs/heads/logic | ba30d96 | generalizing logic to support substructural logic. | 22 February 2013, 04:46:07 UTC |
refs/heads/master | f3d86bc | Update stale.yml | 06 March 2024, 07:19:27 UTC |
refs/heads/monadlaws | b54e4ac | checking pointing. | 17 April 2013, 15:44:26 UTC |
refs/heads/pmonads | 502c488 | moving some instances around. | 07 January 2013, 18:41:53 UTC |
refs/heads/polymorphic-maps | 0a7fb2d | changes to the interface of map | 13 April 2016, 13:37:33 UTC |
refs/heads/state-universe-polymorphic | a2c37cf | make state universe polymorphic. | 13 November 2018, 22:43:01 UTC |
refs/heads/string-fold-direction | 3845f96 | fixing the fold direction for string to be consistent with list | 13 November 2018, 22:34:08 UTC |
refs/heads/universe-polymorphism | f6e87e6 | fixing bug in the state monad. | 17 October 2018, 15:14:32 UTC |
refs/heads/v00 | 1cf78de | version 0.0. | 01 November 2012, 18:05:19 UTC |
refs/heads/v02-reorg | f438ab3 | splitting Strings, extensions to Show. | 01 November 2012, 18:00:42 UTC |
refs/heads/v04 | 137198f | cosmetic fix for a major problem with the library abstraction. | 27 November 2012, 22:36:21 UTC |
refs/heads/v06 | 952e5e1 | Moving Logic instances - QuantLaws are not correct. | 20 June 2013, 03:46:16 UTC |
refs/heads/v08 | 9d7c744 | a few more lemmas for Data.Prop. | 03 April 2015, 06:49:30 UTC |
refs/heads/v8.4 | 45713e2 | Merge pull request #17 from vzaliva/macos-coq8.4-build Macos coq8.4 build | 03 February 2016, 06:16:37 UTC |
refs/heads/v8.5 | d8d0bb3 | simplify universes in Hlist. | 29 October 2016, 22:40:40 UTC |
refs/heads/v8.5-mono | 2f74d52 | monomorphizing everything | 30 June 2015, 05:00:53 UTC |
refs/heads/v8.6 | 974a79e | Merge pull request #36 from coq-ext-lib/vzaliva-v8.6-writer a few cosmetic changes to mapWriterT, etc. | 22 April 2017, 22:02:18 UTC |
refs/heads/v8.7 | b8f7334 | compatability with coq 8.7 | 18 November 2017, 03:19:31 UTC |
refs/heads/v8.8 | 5dd9cfa | Merge pull request #40 from Lysxia/v8.8 Add Monad notation to bind patterns | 30 June 2018, 02:28:08 UTC |
refs/heads/v8.9 | f27a18a | Merge pull request #62 from liyishuai/assoc Make <$> and <*> left associative | 20 May 2019, 20:42:44 UTC |
refs/heads/vector_lemmas | 882357e | Added lemmas to the Vector types. | 24 January 2017, 07:46:59 UTC |
refs/heads/vzaliva-v8.6-writer | c562d4f | a few cosmetic cleanups. | 22 April 2017, 21:56:37 UTC |
refs/tags/v0.10.0 | e49214f | Merge pull request #49 from coq-ext-lib/string-fold-direction Fixing the fold direction for string to be consistent with list | 13 November 2018, 22:41:44 UTC |
refs/tags/v0.10.1 | a502568 | fix deprecated warnings. | 05 February 2019, 03:33:14 UTC |
refs/tags/v0.10.2 | 1c5095b | Merge pull request #64 from coq-ext-lib/finite-map-remove-facts Finite map facts about remove | 25 June 2019, 02:02:53 UTC |
refs/tags/v0.10.3 | ad61bb3 | Add v0.10.2 documentation | 17 October 2019, 02:23:41 UTC |
refs/tags/v0.11.0 | 0b0c82b | Core: fix compilation in Decision | 16 January 2020, 18:32:39 UTC |
refs/tags/v0.11.1 | ddeab06 | Notation ;; should be right associative | 17 January 2020, 19:16:34 UTC |
refs/tags/v0.11.2 | 2fa52d2 | CI for Coq 8.12 | 07 August 2020, 04:23:47 UTC |
refs/tags/v0.11.3 | 159c361 | Use replace instead of cutrewrite. (#101) Compatibility with coq/coq#12993. | 09 September 2020, 16:52:47 UTC |
refs/tags/v0.11.4 | aeb71ca | CI for Coq 8.14 | 23 September 2021, 04:56:21 UTC |
refs/tags/v0.11.5 | 43e979b | CI from new template | 05 October 2021, 04:17:02 UTC |
refs/tags/v0.11.6 | 99f7abd | Move Data.Monads.ListMonad to Data.List | 12 January 2022, 21:19:37 UTC |
refs/tags/v0.11.7 | a1b6f91 | improved auto goal selection (see coq/#16293) | 11 July 2022, 12:57:11 UTC |
refs/tags/v0.11.8 | 5f48fb3 | CI: Coq 8.16 and 8.17 | 09 March 2023, 04:03:51 UTC |
refs/tags/v0.12.0 | 26626fa | Adapt to Coq/Coq#18164 We remove some Arith files and NPeano from the stdlib after deprecation. | 21 October 2023, 16:47:49 UTC |
refs/tags/v0.12.1 | 2b9b50d | Adapt to https://github.com/coq/coq/pull/18590 | 31 January 2024, 11:18:40 UTC |
refs/tags/v0.8.0-coq-8.4 | 45713e2 | Merge pull request #17 from vzaliva/macos-coq8.4-build Macos coq8.4 build | 03 February 2016, 06:16:37 UTC |
refs/tags/v0.9.0 | 9d7c744 | a few more lemmas for Data.Prop. | 03 April 2015, 06:49:30 UTC |
refs/tags/v0.9.0-beta3 | 9588b93 | porting of most things so that it builds with 8.5~beta3 | 09 November 2015, 04:51:21 UTC |
refs/tags/v0.9.1 | 45713e2 | Merge pull request #17 from vzaliva/macos-coq8.4-build Macos coq8.4 build | 03 February 2016, 06:16:37 UTC |
refs/tags/v0.9.1-8.4 | 0e58cc4 | Merge pull request #16 from bmsherman/patch-1 Fix typo | 06 January 2016, 19:58:00 UTC |
refs/tags/v0.9.2 | ea6b280 | a few more functions. | 11 February 2016, 17:48:21 UTC |
refs/tags/v0.9.3 | 5541581 | fixing universe polymorphism for 8.5pl1 | 12 April 2016, 11:12:11 UTC |
refs/tags/v0.9.4 | ff0e272 | making MonadWriter polymorphic. | 26 April 2016, 00:57:48 UTC |
refs/tags/v0.9.5 | 5d19dff | delete Makefile.coq on clean. | 06 January 2017, 03:04:11 UTC |
refs/tags/v0.9.7 | b8f7334 | compatability with coq 8.7 | 18 November 2017, 03:19:31 UTC |
refs/tags/v0.9.8 | a105855 | remove warnings in Coq 8.8 | 29 April 2018, 22:18:49 UTC |
refs/tags/v0.9.9 | e49214f | Merge pull request #49 from coq-ext-lib/string-fold-direction Fixing the fold direction for string to be consistent with list | 13 November 2018, 22:41:44 UTC |
refs/tags/v1.0.0-beta2 | 1c36294 | fixes to work with v8.5 branch. | 22 June 2015, 11:33:13 UTC |