I am still wrestling a bit with what should be considered "values" in…: jcreed

Log in

No account? Create an account

Remember me

By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement

: Jason (jcreed) wrote,
2010-07-07 19:16:00

Jason
jcreed
2010-07-07 19:16:00

I am still wrestling a bit with what should be considered "values" in this language --- and you'd think I should just be able to turn to focusing and ask what the positive focus sequences are, but it's not quite working out so cleanly, which is baffling.

Tags: work

(no subject)

A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
(no subject)

Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
(no subject)

Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

Post a new comment
1 comment

Log in

(no subject)

(no subject)

(no subject)

Error