Franklin Pezzuti Dyer

avatar

Stream of Goodies

Hacker News: Front Page's profile picture on Select App
HNF

Hacker News: Front Page

·2 years ago
shared a link post in group #Stream of Goodies
Franklin Pezzuti Dyer
franklin.dyer.me

Franklin Pezzuti Dyer

Totality and non-standard recursion in Idris Lately I've been continuing my adventures in dependent type theory and computer-verified proofs by working with the Idris language. I've really enjoyed us

Comment here to discuss with all recipients or tap a user's profile image to discuss privately.

Embed post to a webpage :
<div data-postid="enxaorm" [...] </div>
Powered bySelect·iOS·Android
Privacy|Terms|