Went to ConCert meeting.
Dave Walker went over how polymorphism
is used in TAL to represent stack invariants.
Interesting stuff.
Got mtex info from tom7.
-
Went to ConCert meeting.
Dave Walker went over how polymorphism
is used in TAL to represent stack invariants.
Interesting stuff.
Got mtex info from tom7.
-
(no subject)
Remember tiddlywiki? From the halcyon days of the mid-2000s when wikis were still kinda weird? Well, they're still developing it. It is uncannily…
-
(no subject)
Best facial expression on a dinosaur.
_tove correctly classifies it as HEY YOU GUYS. -
(no subject)
From the wikipedia entry on Phosphorus: The discovery of phosphorus is credited to the German alchemist Hennig Brand in 1669, although other…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments
