redfish64 / Idris2 Public

forked from idris-lang/Idris2

A purely functional programming language with first class types

idris-lang.org/

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2,085 Commits
.github		.github
Release		Release
benchmark		benchmark
bootstrap		bootstrap
docs		docs
icons		icons
libs		libs
lint		lint
nix		nix
samples		samples
src		src
support		support
tests		tests
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
CONTRIBUTING.md		CONTRIBUTING.md
CONTRIBUTORS		CONTRIBUTORS
INSTALL.md		INSTALL.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
bootstrap-stage1-chez.sh		bootstrap-stage1-chez.sh
bootstrap-stage1-racket.sh		bootstrap-stage1-racket.sh
bootstrap-stage2.sh		bootstrap-stage2.sh
config.mk		config.mk
default.nix		default.nix
flake.lock		flake.lock
flake.nix		flake.nix
idris2.ipkg		idris2.ipkg
idris2api.ipkg		idris2api.ipkg