Tried looking at what happens when I tack on some extra information…: 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,
2016-03-24 20:46:00

Jason
jcreed
2016-03-24 20:46:00

Tried looking at what happens when I tack on some extra information to the translation of the atomic-normal coercion into vertex-edge form; it apparently gets me back injectivity on all normal linear terms, but I can't make any sense of what it's telling me.

Tags: math

(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
0 comments

Log in

(no subject)

(no subject)

(no subject)

Error