| 6455e52 | fouche | 29 May 2024, 08:57:15 UTC | Merge branch 'main' of https://github.com/iwilare/categorical-automata | 29 May 2024, 08:57:15 UTC |
| b54f749 | fouche | 29 May 2024, 08:56:46 UTC | a | 29 May 2024, 08:56:46 UTC |
| 26428a1 | Andrea Laretto | 05 June 2023, 12:28:00 UTC | Update README.md | 05 June 2023, 12:28:00 UTC |
| d07306a | Andrea Laretto | 05 June 2023, 12:27:16 UTC | Update README.md | 05 June 2023, 12:27:16 UTC |
| c591c12 | iwilare | 05 June 2023, 12:20:15 UTC | Small refactoring, update README.md | 05 June 2023, 12:20:15 UTC |
| 0b7b143 | iwilare | 29 April 2023, 14:48:29 UTC | Cleanup | 29 April 2023, 14:48:29 UTC |
| 6473d2a | iwilare | 29 April 2023, 14:35:33 UTC | Cleanup | 29 April 2023, 14:35:33 UTC |
| 47a8d9c | iwilare | 29 April 2023, 14:21:08 UTC | Temp | 29 April 2023, 14:21:08 UTC |
| cc391e4 | iwilare | 29 April 2023, 13:16:19 UTC | Add small comment | 29 April 2023, 13:16:19 UTC |
| 045e8a9 | iwilare | 29 April 2023, 13:12:54 UTC | Remove Extensions, move everything to Functors | 29 April 2023, 13:12:54 UTC |
| 41eb15e | fouche | 29 April 2023, 11:04:02 UTC | outline adjunction | 29 April 2023, 11:04:02 UTC |
| 3b34bc2 | iwilare | 28 April 2023, 19:57:53 UTC | Pullback fibered adjunctions | 28 April 2023, 19:57:53 UTC |
| 973fe92 | iwilare | 28 April 2023, 16:19:44 UTC | Minima | 28 April 2023, 16:19:44 UTC |
| 18af338 | iwilare | 28 April 2023, 16:00:54 UTC | Add deaf machines, add mealifycation checks | 28 April 2023, 16:00:54 UTC |
| daa1557 | iwilare | 28 April 2023, 12:55:24 UTC | Small fix | 28 April 2023, 12:55:24 UTC |
| 2136754 | iwilare | 28 April 2023, 12:44:46 UTC | Fix | 28 April 2023, 12:44:46 UTC |
| f8a46a6 | iwilare | 28 April 2023, 12:40:18 UTC | Uncomment definitions | 28 April 2023, 12:40:18 UTC |
| 22707fe | iwilare | 28 April 2023, 12:16:14 UTC | Add Automata | 28 April 2023, 12:16:14 UTC |
| d1dfd2d | Andrea Laretto | 20 April 2023, 18:28:01 UTC | Add a (bi) | 20 April 2023, 18:28:01 UTC |
| 9d645f9 | Andrea Laretto | 20 April 2023, 18:27:33 UTC | Update README.md | 20 April 2023, 18:27:33 UTC |
| 5fc2897 | iwilare | 20 April 2023, 18:22:52 UTC | Refactor everything, but in Set | 20 April 2023, 18:22:52 UTC |
| 3f4de15 | iwilare | 19 March 2023, 09:11:32 UTC | Add SemiBicategory and SemiEnriched | 19 March 2023, 09:11:32 UTC |
| beecc28 | iwilare | 17 March 2023, 16:48:15 UTC | Stub semibicategory | 17 March 2023, 16:48:15 UTC |
| a0ce102 | iwilare | 17 March 2023, 16:40:58 UTC | Stub Moore semibicategory | 17 March 2023, 16:40:58 UTC |
| 4059122 | iwilare | 16 March 2023, 14:33:00 UTC | Add asPullbacks | 16 March 2023, 14:33:00 UTC |
| 1ec7eaa | iwilare | 16 March 2023, 10:42:56 UTC | Finish FMealy and FMoore as pullbacks | 16 March 2023, 10:42:56 UTC |
| 9200ee9 | iwilare | 15 March 2023, 16:08:44 UTC | Finish FMoore as Pullback | 15 March 2023, 16:08:44 UTC |
| 31734fe | iwilare | 15 March 2023, 14:17:44 UTC | Finish strict pullbacks | 15 March 2023, 14:17:44 UTC |
| f9164b6 | iwilare | 15 March 2023, 14:16:24 UTC | Progress on pullbacks | 15 March 2023, 14:16:24 UTC |
| 649946f | iwilare | 14 March 2023, 01:43:12 UTC | Fix cod/dom | 14 March 2023, 01:43:12 UTC |
| 563be88 | iwilare | 14 March 2023, 01:42:23 UTC | Remove unnecessary files | 14 March 2023, 01:42:23 UTC |
| 1efd514 | iwilare | 14 March 2023, 01:13:45 UTC | Remove library files | 14 March 2023, 01:13:45 UTC |
| e8c70ba | iwilare | 13 March 2023, 23:33:43 UTC | Remove empty file | 13 March 2023, 23:33:43 UTC |
| 20a0120 | fouche | 09 March 2023, 15:39:21 UTC | some refines | 09 March 2023, 15:39:21 UTC |
| 6b62a19 | fouche | 09 March 2023, 14:38:24 UTC | universal done | 09 March 2023, 14:38:24 UTC |
| 3012dca | Andrea Laretto | 09 March 2023, 12:01:21 UTC | Merge pull request #2 from iwilare/complete commute done | 09 March 2023, 12:01:21 UTC |
| 7e9d867 | fouche | 09 March 2023, 10:00:55 UTC | commute done | 09 March 2023, 10:00:55 UTC |
| 01670ef | Andrea Laretto | 09 March 2023, 08:07:29 UTC | Merge pull request #1 from tetrapharmakon/complete a modest proposal | 09 March 2023, 08:07:29 UTC |
| 9a8db5f | fouche | 08 March 2023, 23:14:11 UTC | proof comp clean | 08 March 2023, 23:14:11 UTC |
| 3b0470e | fouche | 08 March 2023, 22:38:22 UTC | a modest proposal | 08 March 2023, 22:38:22 UTC |
| 833cb6d | iwilare | 08 March 2023, 16:45:36 UTC | Pullbacks in StrictCats | 08 March 2023, 16:45:36 UTC |
| f251924 | iwilare | 08 March 2023, 14:58:59 UTC | Moments before disaster: StrictCats | 08 March 2023, 14:58:59 UTC |
| ddd4a5d | iwilare | 07 March 2023, 20:34:37 UTC | Progress | 07 March 2023, 20:34:37 UTC |
| 381080c | iwilare | 07 March 2023, 12:41:30 UTC | Moments before actual disaster | 07 March 2023, 12:41:30 UTC |
| e91eb94 | iwilare | 07 March 2023, 11:11:24 UTC | Moments before disaster | 07 March 2023, 11:11:24 UTC |
| 0843881 | iwilare | 07 March 2023, 09:33:05 UTC | Temp | 07 March 2023, 09:33:05 UTC |
| bb42f57 | iwilare | 07 March 2023, 00:52:40 UTC | Fix README | 07 March 2023, 00:52:40 UTC |
| 0473bd3 | iwilare | 07 March 2023, 00:49:15 UTC | Fix agda-lib | 07 March 2023, 00:49:15 UTC |
| 125039f | iwilare | 07 March 2023, 00:48:48 UTC | Rename agda-lib | 07 March 2023, 00:48:48 UTC |
| 4df7987 | iwilare | 07 March 2023, 00:05:19 UTC | Fix agda-lib | 07 March 2023, 00:05:19 UTC |
| 1fe48a1 | iwilare | 07 March 2023, 00:05:01 UTC | Fix README | 07 March 2023, 00:05:01 UTC |
| 9b50d8d | iwilare | 06 March 2023, 23:55:34 UTC | Stabilize | 06 March 2023, 23:55:34 UTC |
| b5769ec | iwilare | 06 March 2023, 23:30:42 UTC | Rename XMoore to FMoore | 06 March 2023, 23:30:42 UTC |
| e336ed2 | iwilare | 06 March 2023, 23:19:17 UTC | Temporary with everything | 06 March 2023, 23:19:17 UTC |
| f201651 | iwilare | 06 March 2023, 20:21:38 UTC | first commit | 06 March 2023, 20:21:38 UTC |
