Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

This branch is 843 commits behind idris-lang:master

Fetching latest commit…

Cannot retrieve the latest commit at this time

..
Failed to load latest commit information.
basic001
basic002
basic003
basic004
basic005
basic006
basic007
basic008
basic009
basic010
basic011
bounded001
buffer001-disabled
delab001
dsl001
dsl002
dsl003
effects001
effects002
error001
error002
error003
error004
ffi001
ffi002
ffi003
ffi004
ffi005
folding001
folding002
idrisdoc001
idrisdoc002
idrisdoc003
idrisdoc004
idrisdoc005
idrisdoc006
idrisdoc007
idrisdoc008
interactive001
interactive002
interactive003
interactive004
interactive005
interactive006
io001
io002
io003
literate001
primitives001
primitives002
primitives003
proof001
proof002
proof003
proof004
proof005
proof006
proof007
quasiquote001
quasiquote002
quasiquote003
quasiquote004
records001
records002
records003
reg001
reg002
reg003
reg004
reg005
reg006
reg007
reg009
reg010
reg011
reg012
reg013
reg014
reg015
reg016
reg017
reg018
reg019
reg020
reg021
reg022
reg023
reg024
reg025
reg026
reg027
reg028
reg029
reg030
reg031
reg032
reg033
reg034
reg035
reg036
reg037
reg038
reg039
reg040
reg041
reg042
reg044
reg045
reg046
reg047
reg048
reg049
reg050
reg051
reg052
reg053
sourceLocation001
sugar001
sugar002
sugar003
sugar004
totality001
totality002
totality003
totality004
totality005
totality006
totality007
totality008
tutorial001
tutorial002
tutorial003
tutorial004
tutorial005
tutorial006
unique001
unique002
unique003
Makefile
README
mktest.pl
runtest.pl

README

Tests are categorised as follows:

basic:       Basic language features, some complete programs
dsl:         Embedded DSLs and features to support DSL development
effects:     Effects package
error:       Error messages and error reflection
ffi:         FFI calls, including type providers
idrisdoc:    Documentation tool functionality
interactive: Interactive editing, proof search
io:          IO monad
literate:    .lidr files; literate programming
primitives:  Primitive types
proof:       Theorem proving, tactics
sugar:       Syntactic sugar, syntax extensions
totality:    Totality checking
tutorial:    Examples from the tutorial

reg:         Regression tests, covering previous bug fixes
Something went wrong with that request. Please try again.