Livejournal
Log in
Post
Friends
My journal
jcreed
(no subject)
Dec 31, 2016 17:46
A paper on describing circuits in an agda DSL:
http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
hardware
Leave a comment
Previous post
Up