[ home / board list / faq / random / create / bans / search / manage / irc ] [ ]

/prog/ - Programming

Programming board

Catalog

8chan Bitcoin address: 1NpQaXqmCBji6gfX8UgaQEmEstvVY7U32C
The next generation of Infinity is here (discussion) (contribute)
A message from @CodeMonkeyZ, 2ch lead developer: "How Hiroyuki Nishimura will sell 4chan data"
Name
Email
Subject
Comment *
File
* = required field[▶ Show post options & limits]
Confused? See the FAQ.
Embed
(replaces files and can be used instead)
Options
Password (For file and post deletion.)

Allowed file types:jpg, jpeg, gif, png, webm, mp4, pdf
Max filesize is 8 MB.
Max image dimensions are 10000 x 10000.
You may upload 1 per post.

File: 1427922487784.jpg (288.41 KB, 700x1984, 175:496, 1426800710169.jpg)

c9f812 No.1909

Get rekt lads Idris master race coming through.
https://en.wikipedia.org/wiki/Idris_%28programming_language%29

bb5ea7 No.1918

>>1909
Yeah, nice theorem prover. Another one. That nobody gives a shit about.

12aeb5 No.2774

File: 1436155233345.jpg (146.9 KB, 634x436, 317:218, Dat-type.jpg)

No, I think it might have some legs… below that type.


12aeb5 No.2881

Programming with dependent types in Idris [31c3]

➤Speaker: raichoo

➤EventID: 6162

➤Event: 31th Chaos Communication Congress [31c3] of the Chaos Computer Club [CCC]

➤Location: Congress Centrum Hamburg (CCH); Am Dammtor; Marseiller Straße; 20355 Hamburg; Germany

➤Language: english

➤Begin: Sun, 12/28/2014 14:00:00 +01:00

➤License: CC-by

https://www.youtube.com/watch?v=uFwh3Uv8Nrw



[Return][Go to top][Catalog][Post a Reply]
Delete Post [ ]
[]
[ home / board list / faq / random / create / bans / search / manage / irc ] [ ]