agda-stdlib

Description:Agda standard library
License: MIT
Homepage:https://wiki.portal.chalmers.se/agda/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
2.5.2.0.13 diff - ~ - - - - - - - - - - ~
2.4.2.5 - ~ - - - - - - - - - - ~

USE flags

  • ffi - Install agda-lib-ffi for compilation using the MAlonzo backend
  • profile - Add support for software performance analysis (will likely vary from ebuild to ebuild)

Also available in: Atom

Thank you!