Codice and Circenses

IT, Programming, boardgames and random thoughts

This feed contains 18 articles.
Address of the feed: https://raw.githubusercontent.com/berewt/berewt.github.io/master/feed.rss
Address of the site: http://nicolas.biri.name/

Last download: Aug 1, 2021, 6:00:32 AM
The last article was posted 1170 day(s) ago.
Daily average: 0.01, between the Jun 16, 2014, 12:00:00 AM and the May 19, 2018, 12:00:00 AM.

Article Date
Dependent types as tests May 19, 2018, 12:00:00 AM
Union Type in Idris (Part 3) Mar 10, 2018, 3:31:43 PM
Union Type in Idris (Part 4) Mar 10, 2018, 3:31:42 PM
Union Type in Idris (Part 5) Mar 10, 2018, 3:31:42 PM
Ne plus être le produit Mar 10, 2018, 3:31:42 PM
Le cas Facebook en détail Aug 20, 2016, 12:00:00 AM
Le cas Facebook en détail Aug 17, 2016, 12:00:00 AM
Ne plus être le produit Aug 17, 2016, 12:00:00 AM
Union Type in Idris (Part 4) Aug 2, 2016, 12:00:00 AM
Union Type in Idris (Part 5) Aug 2, 2016, 12:00:00 AM