HiromiIshii

Uploads

• cabal-scaffold@0.1.0.0-0 uploaded 2024-09-11T07:22:15.000Z. latest
• sized@1.1.0.2-0 uploaded 2024-06-09T12:48:11.000Z. latest
• type-natural@1.3.0.1-1 uploaded 2024-06-09T12:28:02.000Z. latest
• subcategories@0.2.1.1-0 uploaded 2024-06-09T12:15:43.000Z. latest
• singletons-presburger@0.7.4.0-0 uploaded 2024-06-09T11:40:03.000Z. latest
• ghc-typelits-presburger@0.7.4.0-0 uploaded 2024-06-09T11:39:48.000Z. latest
• equational-reasoning@0.7.0.3-1 uploaded 2024-05-17T12:07:27.000Z. latest
• equational-reasoning@0.7.0.3-0 uploaded 2024-05-17T11:59:59.000Z.
• equational-reasoning@0.7.0.2-1 uploaded 2024-05-17T11:41:44.000Z.
• path-tagged@0.1.0.0-0 uploaded 2024-03-05T05:41:26.000Z. latest
• guardian@0.5.0.0-0 uploaded 2024-02-22T07:14:50.000Z. latest
• ghc-magic-dict-compat@0.0.0.0-0 uploaded 2023-12-31T08:12:55.000Z. latest
• sized@1.1.0.1-0 uploaded 2023-12-27T17:40:36.000Z.
• type-natural@1.3.0.1-0 uploaded 2023-12-27T16:23:43.000Z.
• subcategories@0.2.1.0-0 uploaded 2023-12-27T15:29:11.000Z.
• singletons-presburger@0.7.3.0-0 uploaded 2023-12-26T15:17:33.000Z.
• ghc-typelits-presburger@0.7.3.0-0 uploaded 2023-12-26T15:17:31.000Z.
• equational-reasoning@0.7.0.2-0 uploaded 2023-12-26T13:31:21.000Z.
• sized@1.1.0.0-0 uploaded 2023-03-25T07:01:46.000Z.
• subcategories@0.2.0.1-0 uploaded 2023-03-22T13:04:45.000Z.
• type-natural@1.3.0.0-0 uploaded 2023-03-21T15:59:32.000Z.
• singletons-presburger@0.7.2.0-0 uploaded 2023-03-20T14:57:42.000Z.
• ghc-typelits-presburger@0.7.2.0-0 uploaded 2023-03-20T14:57:20.000Z.
• equational-reasoning@0.7.0.1-3 uploaded 2023-03-20T07:43:59.000Z.
• guardian@0.4.0.0-0 uploaded 2023-02-13T03:10:30.000Z.
• sized@1.0.0.2-0 uploaded 2022-11-25T08:19:07.000Z.
• type-natural@1.2.0.1-0 uploaded 2022-11-25T07:38:26.000Z.
• singletons-presburger@0.7.1.0-0 uploaded 2022-11-25T07:10:11.000Z.
• ghc-typelits-presburger@0.7.1.0-0 uploaded 2022-11-25T07:10:04.000Z.
• singletons-presburger@0.7.0.0-0 uploaded 2022-11-21T13:21:26.000Z. deprecated
• ghc-typelits-presburger@0.7.0.0-0 uploaded 2022-11-21T13:21:17.000Z. deprecated
• equational-reasoning@0.7.0.1-2 uploaded 2022-11-20T15:55:33.000Z.
• equational-reasoning@0.7.0.1-1 uploaded 2022-08-24T02:20:24.000Z.
• sized@1.0.0.1-0 uploaded 2022-06-18T07:02:58.000Z.
• subcategories@0.2.0.0-0 uploaded 2022-01-29T10:35:20.000Z.
• ghc-typelits-presburger@0.6.2.0-0 uploaded 2021-12-11T11:59:27.000Z.
• type-natural@1.1.0.1-0 uploaded 2021-12-11T09:51:07.000Z.
• singletons-presburger@0.6.1.0-0 uploaded 2021-11-07T09:47:42.000Z.
• ghc-typelits-presburger@0.6.1.0-0 uploaded 2021-11-07T09:47:36.000Z.
• equational-reasoning@0.7.0.1-0 uploaded 2021-10-31T08:51:06.000Z.
• equational-reasoning@0.7.0.0-2 uploaded 2021-06-06T01:15:33.000Z.
• subcategories@0.1.1.0-0 uploaded 2021-03-13T06:32:44.000Z.
• singletons-presburger@0.6.0.0-0 uploaded 2021-03-13T05:53:26.000Z.
• ghc-typelits-presburger@0.6.0.0-0 uploaded 2021-03-13T05:53:18.000Z.
• equational-reasoning@0.7.0.0-1 uploaded 2021-03-13T04:19:10.000Z.
• type-natural@1.1.0.0-0 uploaded 2021-02-10T09:48:53.000Z.
• hls-splice-plugin@0.3.0.0-0 uploaded 2021-02-05T12:16:33.000Z.
• hls-splice-plugin@0.2.0.0-0 uploaded 2021-02-02T15:08:55.000Z. deprecated
• equational-reasoning@0.7.0.0-0 uploaded 2021-01-22T10:42:00.000Z.
• ghc-typelits-presburger@0.5.2.0-0 uploaded 2021-01-22T10:29:36.000Z.
• equational-reasoning@0.6.0.4-0 uploaded 2021-01-18T16:24:56.000Z.
• sized@1.0.0.0-3 uploaded 2021-01-17T17:13:08.000Z.
• sized@1.0.0.0-2 uploaded 2021-01-17T17:07:39.000Z.
• sized@1.0.0.0-1 uploaded 2021-01-17T17:06:11.000Z.
• sized@1.0.0.0-0 uploaded 2021-01-17T16:52:06.000Z.
• type-natural@1.0.0.0-0 uploaded 2021-01-17T16:12:55.000Z.
• singletons-presburger@0.5.0.0-0 uploaded 2021-01-17T14:28:29.000Z.
• ghc-typelits-presburger@0.5.0.0-0 uploaded 2021-01-17T14:28:22.000Z.
• type-natural@0.9.0.0-1 uploaded 2021-01-16T07:23:29.000Z.
• sized@0.9.0.0-1 uploaded 2021-01-16T07:17:23.000Z.
• singletons-presburger@0.4.0.0-0 uploaded 2021-01-16T06:51:00.000Z.
• ghc-typelits-presburger@0.4.0.0-0 uploaded 2021-01-16T06:50:43.000Z.
• sized@0.9.0.0-0 uploaded 2021-01-15T18:38:11.000Z.
• hls-splice-plugin@0.1.0.0-0 uploaded 2021-01-10T04:16:24.000Z.

Packages

• algebra
• algebraic-prelude
• AttoJson
• authenticate-oauth
• cabal-scaffold
• cabal2ghci
• computational-algebra
• configuration
• derive-IG
• equational-reasoning
• equational-reasoning-induction
• ghc-magic-dict-compat
• ghc-pkg-autofix
• ghc-typelits-presburger
• graph-utils
• guardian
• HaTeX-qq
• hls-exactprint-utils
• hls-splice-plugin
• language-lua-qq
• loop-effin
• monomorphic
• omaketex
• pandoc-japanese-filters
• path-tagged
• random-eff
• random-effin
• refresht
• safe-printf
• singletons-presburger
• sized
• sized-vector
• subcategories
• th-traced
• type-natural
• unsafely
• Yablog
• yesod-auth-oauth