Mailing List:
idris-lang@googlegroups.com
Add newDisplay options
3
replies
idris, ipkg main field.
started 2018-12-08 13:30:33 UTC
2018-12-09 02:31:37 UTC
j***@gmail.com
2
replies
Blodwen tests failing
started 2018-12-07 15:47:30 UTC
2018-12-08 04:01:49 UTC
j***@gmail.com
10
replies
Exceptions in blodwen
started 2018-12-05 18:25:38 UTC
2018-12-07 09:01:25 UTC
x***@cs.tufts.edu
1
reply
How do I list directory, link, move and copy files in Idris
started 2018-12-05 02:27:13 UTC
2018-12-05 15:23:01 UTC
j***@gmail.com
1
reply
Beginner question - howto maintain state between FFI callbacks
started 2018-12-04 19:48:48 UTC
2018-12-04 22:04:44 UTC
a***@googlemail.com
6
replies
Blodwen now runs on the JVM
started 2018-11-27 11:07:14 UTC
2018-12-03 10:34:17 UTC
m***@gmail.com
4
replies
Does Idris have any library for reading files?
started 2018-12-02 06:28:04 UTC
2018-12-02 19:26:49 UTC
r***@googlemail.com
1
reply
interfaces as tuples / anonymous structs?
started 2018-11-27 20:08:57 UTC
2018-11-28 20:20:57 UTC
j***@mail.jerrington.me
6
replies
'foo' not total but 'bar' total
started 2018-11-21 23:03:35 UTC
2018-11-22 03:58:43 UTC
e***@gmail.com
1
reply
Debug.Error.error and totality
started 2018-11-05 12:59:31 UTC
2018-11-22 03:31:36 UTC
e***@gmail.com
0
replies
Type checking large projects in vim
started 2018-11-17 21:17:12 UTC
2018-11-17 21:17:12 UTC
j***@zenten.ca
14
replies
Disproving function equality via counterexample
started 2018-11-12 02:48:32 UTC
2018-11-17 01:11:18 UTC
l***@gmail.com
1
reply
What does covering mean?
started 2018-11-14 18:04:15 UTC
2018-11-14 20:08:56 UTC
d***@davidchristiansen.dk
0
replies
Lazy Alternative
started 2018-11-14 07:26:30 UTC
2018-11-14 07:26:30 UTC
d***@gmail.com
2
replies
"Can't infer argument" question
started 2018-11-09 04:13:21 UTC
2018-11-10 16:05:37 UTC
r***@gmail.com
0
replies
K framework
started 2018-11-07 09:45:18 UTC
2018-11-07 09:45:18 UTC
n***@gmail.com
12
replies
Problem compiling Blodwen
started 2018-11-04 16:40:16 UTC
2018-11-07 00:35:26 UTC
H***@gmail.com
4
replies
Type mismatch error messages (not normalized)
started 2018-11-01 23:22:25 UTC
2018-11-03 16:35:56 UTC
m***@gmail.com
1
reply
A bug in idris?
started 2018-11-01 22:43:21 UTC
2018-11-01 22:53:44 UTC
r***@gmail.com
2
replies
How far (potentially) is Idris from not requiring GC?
started 2018-11-01 11:15:48 UTC
2018-11-01 21:26:50 UTC
b***@gmail.com
0
replies
Project/Update operations in various IRs
started 2018-11-01 11:19:47 UTC
2018-11-01 11:19:47 UTC
b***@gmail.com
2
replies
Vi keybindings in 1.3.1
started 2018-10-28 00:32:29 UTC
2018-10-29 18:42:00 UTC
s***@gmail.com
10
replies
IDE protocol updates
started 2018-10-26 02:56:49 UTC
2018-10-28 21:33:43 UTC
j***@gmail.com
0
replies
Idris 1.3.1 released
started 2018-10-23 15:03:08 UTC
2018-10-23 15:03:08 UTC
e***@gmail.com
7
replies
Question about interfaces
started 2018-10-13 14:10:33 UTC
2018-10-21 18:34:23 UTC
R***@gmail.com
5
replies
Problems with IO monad and recursive data
started 2018-10-19 16:43:20 UTC
2018-10-19 17:21:30 UTC
r***@gmail.com
0
replies
In-depth interview with the creator of Idris
started 2018-10-17 19:02:39 UTC
2018-10-17 19:02:39 UTC
j***@gmail.com
3
replies
Type error
started 2018-10-13 09:33:02 UTC
2018-10-15 06:14:14 UTC
m***@gmail.com
0
replies
Does Idris allow large elimination
started 2018-10-02 22:52:09 UTC
2018-10-02 22:52:09 UTC
x***@cs.tufts.edu
4
replies
a proof about `mod`
started 2018-09-30 01:29:51 UTC
2018-10-02 20:05:00 UTC
y***@cs.umd.edu
Click to Load More...
Loading...