f3d86bc | Yishuai Li | 06 March 2024, 07:19:27 UTC | Update stale.yml | 06 March 2024, 07:19:27 UTC |
7f2663d | Yishuai Li | 26 February 2024, 08:43:02 UTC | CI for Coq 8.19 | 26 February 2024, 08:43:02 UTC |
2b9b50d | Pierre Roux | 31 January 2024, 11:18:40 UTC | Adapt to https://github.com/coq/coq/pull/18590 | 01 February 2024, 07:58:49 UTC |
5b8f234 | Yishuai Li | 31 January 2024, 18:36:22 UTC | CI: checkout v4 | 31 January 2024, 18:36:34 UTC |
d47e472 | Li-yao Xia | 21 March 2022, 23:53:23 UTC | Add Hint Mode to Functor, Applicative, Monad | 26 January 2024, 06:25:50 UTC |
961c802 | Yishuai Li | 17 January 2024, 22:57:59 UTC | Update templates | 17 January 2024, 22:59:03 UTC |
685c985 | Abhishek Anand | 23 December 2021, 21:59:32 UTC | fixed compilation error | 10 January 2024, 06:47:59 UTC |
5713ab9 | Abhishek Anand | 23 December 2021, 21:47:53 UTC | non-looping rwHyps | 10 January 2024, 06:47:59 UTC |
6da5cc8 | Yishuai Li | 08 January 2024, 10:23:15 UTC | v0.12.0 documentation | 08 January 2024, 10:23:15 UTC |
c315bb0 | Joey Dodds | 05 January 2024, 14:58:23 UTC | quick ixmonad and examples (#55) Co-authored-by: Yishuai Li <liyishuai.lys@alibaba-inc.com> | 05 January 2024, 14:58:23 UTC |
00d3f4e | Yishuai Li | 24 October 2023, 04:42:20 UTC | Remove deprecated definitions | 27 October 2023, 15:30:40 UTC |
eed3062 | Yishuai Li | 24 October 2023, 07:07:47 UTC | CI: install Clang | 24 October 2023, 07:07:47 UTC |
d66cc01 | Yishuai Li | 24 October 2023, 04:20:46 UTC | OPAM and workflow from template | 24 October 2023, 04:20:46 UTC |
2c72dfd | Yishuai Li | 24 October 2023, 03:35:36 UTC | Fix Makefile for CoqdocJS | 24 October 2023, 04:09:01 UTC |
26626fa | Pierre Rousselin | 21 October 2023, 16:47:49 UTC | Adapt to Coq/Coq#18164 We remove some Arith files and NPeano from the stdlib after deprecation. | 22 October 2023, 14:27:25 UTC |
3d4f7df | Yishuai Li | 20 September 2023, 06:59:35 UTC | Update stale.yml | 20 September 2023, 06:59:35 UTC |
edd3027 | Yishuai Li | 19 September 2023, 08:03:58 UTC | Create stale.yml | 19 September 2023, 08:03:58 UTC |
faaab57 | Gaëtan Gilbert | 04 July 2023, 15:29:55 UTC | Adapt to coq/coq#17795 (Polymorphic Class does not auto lower to Prop) | 05 July 2023, 05:17:01 UTC |
995151f | Yishuai Li | 13 June 2023, 02:27:14 UTC | CoqdocJs master branch | 14 June 2023, 06:49:19 UTC |
8a7a3d6 | Yishuai Li | 10 March 2023, 07:35:34 UTC | Deprecate duplicated definitions | 14 June 2023, 06:49:19 UTC |
5a5cfa7 | Yishuai Li | 10 March 2023, 06:40:25 UTC | CI: GitHub Actions | 14 June 2023, 06:49:19 UTC |
4811a83 | Yishuai Li | 09 March 2023, 05:14:11 UTC | v0.11.8 documentation | 09 March 2023, 05:14:11 UTC |
5f48fb3 | Yishuai Li | 09 March 2023, 04:03:51 UTC | CI: Coq 8.16 and 8.17 | 09 March 2023, 04:03:51 UTC |
258c7c8 | Yishuai Li | 09 March 2023, 03:16:48 UTC | CI: diverge from template to skip dependants | 09 March 2023, 03:17:08 UTC |
b3c05e7 | Andres Erbsen | 21 February 2023, 16:53:16 UTC | adapt for coq/coq#17133 | 22 February 2023, 07:40:17 UTC |
d48e658 | Yishuai Li | 22 September 2022, 08:04:16 UTC | v0.11.7 documentation | 22 September 2022, 08:04:16 UTC |
f2b709f | Li-yao Xia | 19 August 2022, 15:55:59 UTC | Re-add continuation monad | 20 August 2022, 13:57:24 UTC |
a1b6f91 | Andrej Dudenhefner | 11 July 2022, 12:57:11 UTC | improved auto goal selection (see coq/#16293) | 12 July 2022, 17:46:04 UTC |
bf494bf | Yishuai Li | 06 July 2022, 21:29:08 UTC | Allow Coq 8.9 | 06 July 2022, 21:29:08 UTC |
aea8ad3 | Yishuai Li | 01 July 2022, 00:42:29 UTC | Retire Coq 8.10 | 06 July 2022, 15:30:32 UTC |
756c36c | Pierre-Marie Pédrot | 29 June 2022, 09:05:52 UTC | Adapt w.r.t. coq/coq#16004. | 06 July 2022, 15:30:32 UTC |
506d298 | Yishuai Li | 06 June 2022, 02:33:40 UTC | Update Docker tag | 06 June 2022, 02:35:13 UTC |
8fa1a3c | Yishuai Li | 19 January 2022, 19:03:15 UTC | Publish script | 06 June 2022, 02:31:34 UTC |
4d87b5a | Yishuai Li | 19 January 2022, 11:50:35 UTC | v0.11.6 documentation | 19 January 2022, 11:50:35 UTC |
99f7abd | Yishuai Li | 12 January 2022, 21:19:37 UTC | Move Data.Monads.ListMonad to Data.List | 19 January 2022, 11:33:35 UTC |
ea8a862 | Yishuai Li | 18 January 2022, 18:32:15 UTC | CI for Coq 8.15 | 18 January 2022, 18:32:15 UTC |
ca0795c | Pierre-Marie Pédrot | 06 January 2022, 17:42:09 UTC | Adapt w.r.t. coq/coq#15442. | 06 January 2022, 17:43:33 UTC |
8f0f022 | Yishuai Li | 29 October 2021, 20:10:28 UTC | v0.11.5 documentation | 29 October 2021, 20:10:28 UTC |
43e979b | Yishuai Li | 05 October 2021, 04:17:02 UTC | CI from new template | 05 October 2021, 04:17:02 UTC |
92470dd | Yishuai Li | 05 October 2021, 03:48:35 UTC | Generate index with old template | 05 October 2021, 03:48:35 UTC |
6fdc358 | Yishuai Li | 27 September 2021, 02:32:51 UTC | MonadLaws: add back return_of_bind | 27 September 2021, 03:23:26 UTC |
aeb71ca | Yishuai Li | 23 September 2021, 04:56:21 UTC | CI for Coq 8.14 | 23 September 2021, 04:56:21 UTC |
162c470 | Yishuai Li | 21 September 2021, 18:52:05 UTC | FMapAList: add alternative definition | 21 September 2021, 19:46:51 UTC |
6ab8408 | Yishuai Li | 13 September 2021, 21:14:33 UTC | String: prefer stdlib | 13 September 2021, 21:23:44 UTC |
73fa2d8 | Yishuai Li | 02 September 2021, 04:27:35 UTC | ListMonad: use flat_map from stdlib | 02 September 2021, 04:27:35 UTC |
968fb49 | Yishuai Li | 02 May 2021, 18:36:04 UTC | MonadExc instance for option (#112) * CircleCI generated from template * CI update OCaml * MonadExc instance for option | 02 May 2021, 18:36:04 UTC |
1549e74 | Yishuai Li | 01 April 2021, 05:34:16 UTC | Switch license to BSD-2-Clause since FreeBSD is deprecated by SPDX | 01 April 2021, 05:43:56 UTC |
6ff2bdb | Jim Fehrle | 28 March 2021, 05:25:18 UTC | Replace use of omega with lia for Coq 8.14 #13741 | 28 March 2021, 05:25:18 UTC |
2cc43de | Andrej Dudenhefner | 24 March 2021, 10:55:29 UTC | fix coq PR 13986 | 24 March 2021, 10:55:29 UTC |
7532d92 | Li-yao Xia | 14 March 2021, 20:52:20 UTC | Monad: Allow patterns in 'let*' notation | 14 March 2021, 23:03:21 UTC |
c3e301b | Li-yao Xia | 07 March 2021, 18:10:15 UTC | Monad: Remove dependency on id and flip | 08 March 2021, 13:52:01 UTC |
737425e | jadephilipoom | 28 January 2021, 18:36:19 UTC | Make Monad_stateT a local instance (#106) | 28 January 2021, 18:36:19 UTC |
7bce55d | Yishuai Li | 30 December 2020, 00:33:36 UTC | meta: standard licence identifier | 30 December 2020, 04:55:03 UTC |
5662deb | Yishuai Li | 22 December 2020, 01:11:11 UTC | CI for Coq 8.13 | 24 December 2020, 03:54:08 UTC |
1fa09a7 | Yishuai Li | 16 December 2020, 06:07:24 UTC | Monad: add join | 24 December 2020, 03:54:07 UTC |
f9975d7 | Michael Soegtrop | 23 December 2020, 18:03:33 UTC | Fix StateGame.v example | 23 December 2020, 18:03:33 UTC |
159c361 | Théo Zimmermann | 09 September 2020, 16:52:47 UTC | Use replace instead of cutrewrite. (#101) Compatibility with coq/coq#12993. | 09 September 2020, 16:52:47 UTC |
33bb328 | Yishuai Li | 17 August 2020, 03:59:20 UTC | Revert "Bind notation allowing for type cast annotations of variables" This reverts commit ae627bc2417e6a4362d7c055e66a1d045f11269f. | 17 August 2020, 04:02:08 UTC |
360d1cc | Yishuai Li | 16 August 2020, 13:07:27 UTC | coqdoc: fix syntax | 16 August 2020, 13:08:56 UTC |
dc1d9f2 | Yishuai Li | 13 August 2020, 17:00:59 UTC | Extras: remove duplicated definition | 14 August 2020, 19:11:43 UTC |
2fa52d2 | Yishuai Li | 07 August 2020, 04:23:47 UTC | CI for Coq 8.12 | 07 August 2020, 04:23:47 UTC |
082880f | Yishuai Li | 07 August 2020, 04:11:58 UTC | restructure: coqdoc back to gh-pages | 07 August 2020, 04:11:58 UTC |
1ced8f6 | Thomas Letan | 06 August 2020, 08:24:23 UTC | Add the let* monadic notation Inspired by the notation introduced by OCaml 4.08, we propose to introduce a new notation following the same principle. let* x := p in q is strictly equivalent to x <- p;; q The former can be made available by importing the newly introduced [MonadLetNotation]. Loading this module does not provide the arrow-based notation, which can still be made available by importing the [MonadNotation] module as before. | 06 August 2020, 09:32:17 UTC |
ae627bc | Yannick | 06 June 2020, 21:59:36 UTC | Bind notation allowing for type cast annotations of variables | 06 June 2020, 21:59:36 UTC |
e522326 | Gaëtan Gilbert | 03 June 2020, 19:45:18 UTC | Really don't fail if coqdocjs not present | 03 June 2020, 19:45:18 UTC |
295a553 | Gaëtan Gilbert | 03 June 2020, 19:14:28 UTC | Don't fail if coqdocjs not present For instance in Coq's CI we don't setup submodules (it's faster to just download the tarball from github) | 03 June 2020, 19:14:28 UTC |
f8f530a | Vadim Zaliva | 03 June 2020, 02:29:08 UTC | Fun functors visibility (#90) Close #88 | 03 June 2020, 02:29:08 UTC |
973e4bb | Théo Zimmermann | 28 May 2020, 14:20:20 UTC | Regenerate files from latest templates. Includes a move from the Gitter badge to the Zulip badge in README. Note: we are not there yet regarding the CircleCI template nor the opam file to allow regenerating these files blindly, but the coq-ext-lib/templates fork no longer contains anything that cannot be achieved with coq-community/templates. | 29 May 2020, 10:19:33 UTC |
a47ce03 | Yishuai Li | 28 May 2020, 23:56:01 UTC | restructure: coqdoc on master branch | 29 May 2020, 00:36:21 UTC |
ac5f1df | Gregory Malecha | 13 May 2020, 21:15:14 UTC | bug fix in twothreek | 13 May 2020, 21:15:14 UTC |
402dfbe | Olivier Laurent | 27 April 2020, 22:00:17 UTC | overlay for coq/coq PR #12008 | 01 May 2020, 19:42:52 UTC |
ad7ba45 | Antonio Nikishaev | 28 April 2020, 20:01:30 UTC | don't rely on Program.Syntax re-exporting ListNotations overlay for coq/coq#11992 | 28 April 2020, 20:01:30 UTC |
016a240 | Matthieu Sozeau | 18 March 2020, 15:31:51 UTC | Fix for Coq 8.11 | 18 March 2020, 19:30:16 UTC |
20dedfe | Yishuai Li | 31 January 2020, 17:57:51 UTC | Update submodules | 02 March 2020, 23:25:08 UTC |
ddeab06 | Yishuai Li | 17 January 2020, 19:16:34 UTC | Notation ;; should be right associative | 17 January 2020, 21:01:03 UTC |
0b0c82b | Yishuai Li | 16 January 2020, 18:32:39 UTC | Core: fix compilation in Decision | 16 January 2020, 18:32:39 UTC |
ef18c1d | Gregory Malecha | 16 January 2020, 18:23:35 UTC | Cleaner implementation of decideP | 16 January 2020, 18:23:35 UTC |
70d2f8c | Abhishek Anand (optiplex7010@home) | 16 January 2020, 16:38:48 UTC | comment about borrowing names from SF and the (dis)similarities in the implementation | 16 January 2020, 16:38:48 UTC |
01d8892 | Yishuai Li | 15 January 2020, 20:03:03 UTC | Merge branch 'master' into squiggleeq | 15 January 2020, 20:03:03 UTC |
b6ac762 | Yishuai Li | 10 January 2020, 02:59:40 UTC | Update templates | 10 January 2020, 03:02:37 UTC |
f258f27 | Yishuai Li | 08 January 2020, 00:43:14 UTC | Uncomment MonadLaws | 09 January 2020, 19:49:10 UTC |
ee71d14 | Yishuai Li | 07 January 2020, 23:26:24 UTC | Remove P* | 09 January 2020, 19:49:10 UTC |
110ca2e | Yishuai Li | 26 December 2019, 22:24:48 UTC | Update notations | 09 January 2020, 19:49:10 UTC |
9d5d1d3 | Abhishek Anand (optiplex7010@home) | 08 January 2020, 00:57:41 UTC | better naming | 08 January 2020, 00:57:41 UTC |
9399778 | Abhishek Anand (optiplex7010@home) | 07 January 2020, 22:50:24 UTC | fixed indentation | 07 January 2020, 22:50:24 UTC |
89e8253 | Abhishek Anand (optiplex7010@home) | 07 January 2020, 22:40:04 UTC | a more reliable implementation of hyp hiding. moved to another file | 07 January 2020, 22:40:04 UTC |
05533df | Abhishek Anand (optiplex7010@home) | 07 January 2020, 21:00:43 UTC | generic stuff from squiggleeq: fwd tactics and decision helpers | 07 January 2020, 21:00:43 UTC |
d3b7f4e | Yishuai Li | 25 December 2019, 21:20:48 UTC | Generic Makefile for CoqdocJs | 25 December 2019, 21:20:48 UTC |
a21585d | Yishuai Li | 25 December 2019, 01:19:55 UTC | Vanilla CoqdocJs | 25 December 2019, 20:59:46 UTC |
d97d562 | Yishuai Li | 22 December 2019, 03:28:46 UTC | Applicative is Functor | 22 December 2019, 03:28:46 UTC |
8e1713c | Jason Gross | 25 November 2019, 19:39:10 UTC | Make vector template-polymorphic again After coq/coq#9918, vector was no-longer template polymorphic. This backwards-compatible commit fixes that. | 04 December 2019, 01:16:58 UTC |
341323a | Yishuai Li | 22 November 2019, 18:55:29 UTC | [ci skip] update template | 22 November 2019, 18:55:29 UTC |
93eebe8 | Yishuai Li | 17 November 2019, 22:00:42 UTC | Extras: add curry and related lemmas | 17 November 2019, 22:00:42 UTC |
d8fce97 | Yishuai Li | 29 October 2019, 22:52:39 UTC | CI test dependants | 08 November 2019, 20:53:25 UTC |
9ad8341 | Yishuai Li | 19 October 2019, 05:05:26 UTC | Documentation for v0.10.3 README from modified mustache | 19 October 2019, 05:05:45 UTC |
ad61bb3 | Yishuai Li | 17 October 2019, 02:23:41 UTC | Add v0.10.2 documentation | 17 October 2019, 02:23:41 UTC |
0eece0d | Yishuai Li | 14 October 2019, 21:45:35 UTC | Deploy GitHub pages | 15 October 2019, 04:36:14 UTC |
dfe8332 | Yishuai Li | 14 October 2019, 21:31:56 UTC | Generate documentation | 15 October 2019, 04:06:41 UTC |
847e037 | Yishuai Li | 14 October 2019, 20:36:30 UTC | OPAM: light-uninstall is needless | 14 October 2019, 20:40:48 UTC |
5919904 | Théo Zimmermann | 14 October 2019, 12:39:34 UTC | Fix CircleCI badge after move to coq-community. | 14 October 2019, 12:39:34 UTC |