idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-19 17:21:59 +03:00
Code Issues Projects Releases Wiki Activity
A purely functional programming language with first class types
3,475 Commits 6 Branches 9 Tags 115 MiB
Idris 95.4%
C 2.3%
Scheme 0.6%
Racket 0.4%
Makefile 0.3%
Other 1%
b495fe83f0
Go to file
Denis Buzdalov b495fe83f0 [ fix ] Support waiting for popen2-created processes 
This fixes problem of creation the garbage of zombie processes on POSIX
systems. This also makes behaviour of `popen2` identical in Windows,
namely, all resources are freed only when waiting, giving at the same
time an ability to observe the exit code afterwards.
2023-12-19 23:03:31 +03:00
.github [ fix ] Fix docs build (#3153) 2023-11-29 15:33:08 +00:00
benchmark [ refactor ] Remove Data.Strings module (#1607) 2021-06-28 13:48:37 +01:00
bootstrap Prepare release 0.6.0 (#2733) 2022-10-27 16:32:16 +01:00
docs [doc] add note regarding C header inclusion to FFI documentation 2023-12-13 07:35:29 -06:00
icons Add icons 2020-05-20 18:48:55 +01:00
ipkg [ refactor ] S-Exp protocols to depend on fewer Idris modules (#3060) 2023-08-31 11:53:14 +01:00
libs [ fix ] Support waiting for popen2-created processes 2023-12-19 23:03:31 +03:00
lint Lint utility 2021-01-16 10:00:03 +00:00
nix fix nix/text-editor.nix 2023-01-23 08:38:16 +01:00
Release [ fix ] bump version of linear and papers packages (#2735) 2022-10-28 08:55:35 +01:00
samples [ fix #1959 ] use modern record update syntax (#2196) 2021-12-16 18:23:18 +00:00
src [ cleanup ] Remove an old workaround of bad library design 2023-12-08 18:54:57 +00:00
support [ fix ] Support waiting for popen2-created processes 2023-12-19 23:03:31 +03:00
tests [ fix ] Support waiting for popen2-created processes 2023-12-19 23:03:31 +03:00
www [ fix ] missing modules in .ipkg files (#3124) 2023-10-27 20:37:00 +01:00
.editorconfig [ install ] Check if 'realpath' exists for Chez and Racket backends (#1210) 2021-04-06 15:42:04 +01:00
.gitattributes Mark bootstrap code as generated 2021-06-30 22:11:54 +01:00
.gitignore [ test ] Set IDRIS2_PREFIX to a local dir when testing 2023-10-04 14:34:03 +01:00
.readthedocs.yaml [ docs ] fix build by adding config file 2023-11-23 17:46:45 +00:00
bootstrap-stage1-chez.sh Write files into bootstrap-build directory during bootstrap 2021-07-04 03:17:13 +01:00
bootstrap-stage1-racket.sh Write files into bootstrap-build directory during bootstrap 2021-07-04 03:17:13 +01:00
bootstrap-stage2.sh Cleanup after rebase 2022-11-15 16:38:13 +01:00
CHANGELOG.md [ fix ] Support waiting for popen2-created processes 2023-12-19 23:03:31 +03:00
config.mk Fix build on FreeBSD (#2852) 2023-01-14 08:19:12 -06:00
CONTRIBUTING.md [ docs ] Update contributing guidelines 2023-07-18 17:27:20 +01:00
CONTRIBUTORS Add foldrImplGoLemma to Data.Vect (#2835) 2023-11-30 10:07:41 +00:00
default.nix [ ci ] Simplify bootstrap process in nix (#2731) 2022-10-28 19:29:30 +01:00
flake.lock Update flake 2023-01-07 17:32:48 -06:00
flake.nix [ ci ] Simplify bootstrap process in nix (#2731) 2022-10-28 19:29:30 +01:00
idris2.ipkg [ cleanup ] --timing levels 2022-04-13 14:37:43 +01:00
idris2api.ipkg [ refactor ] split Core.TT (#3151) 2023-11-29 20:24:01 +00:00
INSTALL.md line length 2023-11-11 16:11:02 +00:00
LICENSE Add licence and changelog and update REAMDE 2020-05-20 11:31:48 +01:00
Makefile Support "make -j" (#3135) 2023-11-08 08:18:02 +00:00
README.md wording 2023-11-13 11:42:27 +00:00

README.md

Idris 2

Documentation Status Build Status

Idris 2 is a purely functional programming language with first class types.

For installation instructions, see INSTALL.md.

The wiki lists a number of useful resources, in particular

Things still missing

  • Cumulativity (currently Type : Type. Bear that in mind when you think you've proved something)
  • rewrite doesn't yet work on dependent types

Contributions wanted

If you want to learn more about Idris, contributing to the compiler could be one way to do so. The contribution guidelines outline the process. Having read that, choose a good first issue or have a look at the contributions wanted for something more involved. This map should help you find your way around the source code. See the wiki page for more details.