gpo.zugaina.org

Search Portage & Overlays:

dev-lang/idris2

Purely functional programming language with first class types

Screenshots

  • idris2-9999
    +chez doc racket +src test-full

    View      Download      Browse     License: BSD   
    Overlay: Miezhiko
  • idris2-0.7.0
    ~amd64 ~x86
    +chez doc racket +src test-full

    View      Download      Browse     License: BSD   
    Overlay: Miezhiko
  • idris2-0.7.0
    ~amd64 ~x86
    +chez doc racket test-full

    View      Download      Browse     License: BSD   
    Overlay: gentoo
  • idris2-0.6.0
    ~amd64 ~x86
    +chez doc racket test-full

    View      Download      Browse     License: BSD   
    Overlay: gentoo

ChangeLog

commit 8beff45c799b9de25e6c026f790d1d2839944514
Author: Miezhiko <Miezhiko@gmail.com>
Date: Fri Dec 29 11:58:26 2023 +0400

new year thing

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 412d8d0858654afe08e898d944cc585b22cf2b0d
Author: Miezhiko <Miezhiko@gmail.com>
Date: Mon Dec 25 14:56:50 2023 +0400

add Idris2 0.7

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 3b68d99ecc4e0648541291b3949d7c8df104a635
Author: Miezhiko <Miezhiko@gmail.com>
Date: Sun Dec 24 12:03:17 2023 +0400

Idris 0.7

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 1d7607a09406520bc9c476dc0efe80f8208b60e6
Author: Miezhiko <Miezhiko@gmail.com>
Date: Wed Dec 20 17:58:53 2023 +0400

Idris2: some cosmetics

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 461e87bc9f51b095f6304d83aa9e359117a81648
Author: Miezhiko <Miezhiko@gmail.com>
Date: Wed Dec 20 17:01:23 2023 +0400

update idris2 ebuild +src, correct idris2-lsp runscript

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 6c69bb9c913b236bc2b500fc7d288d29cbafa5cd
Author: Miezhiko <Miezhiko@gmail.com>
Date: Wed Dec 20 12:27:43 2023 +0400

Idris 2: install with scri-libs and scri-api
TODO: maybe add USE flags for those

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit dfefd6f6291c5c15df1cbd94ea6e67496318785d
Author: Miezhiko <Miezhiko@gmail.com>
Date: Mon Sep 4 11:42:03 2023 +0400

add missing haskell packages

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 16b53d9d364cd91a41daf9fced6269020f149931
Author: Miezhiko <Miezhiko@gmail.com>
Date: Thu Jul 27 11:04:39 2023 +0400

add codon ebuild
drop all metadata from overlay because it's hard to maintain

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit ccad469df24d221600dd50856d95a6f947881f3a
Author: Miezhiko <Miezhiko@gmail.com>
Date: Mon Jan 9 13:56:38 2023 +0400

Change manifest hash to BLAKE2
also some clean up

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit da9e31db2caf07a36f3a475ce91dd87cbe8b2d73
Author: Miezhiko <Miezhiko@gmail.com>
Date: Sun Jun 19 12:42:23 2022 +0400

switch to chez from tree

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit bcd8eeee0ea09166048b0503df96bfd64a49db87
Author: Miezhiko <Miezhiko@gmail.com>
Date: Tue Jan 11 12:58:05 2022 +0400

2022

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 5b0e8d1411ae91e0abaae61d91ef49973e59b1b5
Author: Miezhiko <Miezhiko@gmail.com>
Date: Mon Nov 15 14:27:31 2021 +0400

More quality improvements and clean up

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 40199ef5237a5d05644d4e968a15222fac29cf01
Author: Miezhiko <Miezhiko@gmail.com>
Date: Mon Nov 15 14:00:01 2021 +0400

various QA improvements

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit ecf5c15abb6a2c8c3365db87cd067c62bbed6e16
Author: Miezhiko <Miezhiko@gmail.com>
Date: Fri Nov 12 12:47:17 2021 +0400

idris: steal ebuild from xgqt

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit f73451b3fda45db9ba9a1a272d8de104f9def75b
Author: Miezhiko <codemasha@gmail.com>
Date: Mon Aug 9 14:07:57 2021 +0400

modify repository structure