Сервисы » Обзор пакетов » dev-lang »
idris2
| Описание: | Purely functional programming language with first class types |
|---|
| Лицензия: |
BSD
|
|---|
| Домашняя страница: | |
|---|
| Расположение: | Portage |
|---|
|
Легенда:
- + - стабильный
- ~ - нестабильный
- M - замаскированный
|
|
|
alpha |
amd64 |
arm |
hppa |
ia64 |
m68k |
mips |
ppc |
ppc64 |
s390 |
sh |
sparc |
x86 |
| 0.6.0 |
|
- |
~ |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
~ |
USE флаги
- chez - build using dev-scheme/chez
- doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- racket - build using dev-scheme/racket
- test-full - pull in depedndencies to run all tests
Экспортировать в
Atom
