Parent Categories/Forums:
Programming Languages
Epigram
This forum is an archive for the mailing list: epigram@durham.ac.uk
(mailing list options).
Messages posted here will be sent to this mailing list.
Epigram is a dependently typed programming language and an interactive programming environment. Epigram has got a type system which is strong enough to express the behaviour of programs, the type checker then guarantees that the program is well behaved.
|
« Newest
‹ Newer
— Threads 1-35 —
Older ›
|
| Thread (54 Threads) | Rating | Replies | Last Message | |||||
|---|---|---|---|---|---|---|---|---|
|
0 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
2 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
2 |
|
||||||
|
2 |
|
||||||
|
3 |
|
||||||
|
2 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
7 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
2 |
|
||||||
|
2 |
|
||||||
|
1 |
|
||||||
|
16 |
|
||||||
|
2 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
4 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
|
« Newest
‹ Newer
— Threads 1-35 —
Older ›
|
| Free Forum Powered by Nabble | Forum Help |