| .. |
|
AIM4
|
3e609b7bb8
[ fix #418 ] no longer see through abstract in private+abstract type signatures
|
3 роки тому |
|
AIM5
|
06a20b7169
[ cleaning ] Removed .cvsignore files.
|
9 роки тому |
|
AIM6
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 роки тому |
|
DTP08
|
4ffc934df9
Merge agda-maint
|
9 роки тому |
|
Introduction
|
a5eb5ae0fb
[ closed #2200 ] Add trigonometric primitives to TCM and GHC and JS backends
|
8 роки тому |
|
Miller
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 роки тому |
|
SummerSchool07
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 роки тому |
|
Termination
|
e205a43e87
Fixed #1209.
|
6 роки тому |
|
arith
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 роки тому |
|
compiler
|
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
7 роки тому |
|
lib
|
514d9fc643
[ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.
|
8 роки тому |
|
malformed
|
0dd4207b78
Made the loading of interfaces more robust. This fixes issue 181.
|
15 роки тому |
|
order
|
06a20b7169
[ cleaning ] Removed .cvsignore files.
|
9 роки тому |
|
outdated-and-incorrect
|
65a3ba26d3
[ lib-succeed ] Added tests related to termination and sized types.
|
8 роки тому |
|
relocatable
|
00a9116a9a
File names are no longer stored in interface files.
|
15 роки тому |
|
simple-lib
|
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
7 роки тому |
|
sinatra
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 роки тому |
|
syntax
|
988141b7e8
[ primitive ] changed primitive integers to a datatype
|
9 роки тому |
|
tactics
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 роки тому |
|
uptodate
|
e3be41fe18
[ #3266 ] added doc and test cases
|
6 роки тому |
|
vfl
|
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
11 роки тому |
|
Binary.agda
|
eb54896a0f
binary number example
|
17 роки тому |
|
DoNotation.agda
|
1934c67171
[ do-notation ] added non-trivial example of using do-notation
|
7 роки тому |
|
ISWIM.agda
|
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
11 роки тому |
|
Lookup.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 роки тому |
|
Makefile
|
1c7deda30a
imports: Merge newly-decoded/created interface after validating
|
4 роки тому |
|
Monad.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 роки тому |
|
ParenDepTac.agda
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 роки тому |
|
Setoid.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 роки тому |
|
SimpleTypes.agda
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 роки тому |
|
TT.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 роки тому |
|
Vec.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 роки тому |
Ulf Norell
3e609b7bb8
[ fix #418 ] no longer see through abstract in private+abstract type signatures