Banjo

by dobesv

52 thoughts
last posted Nov. 9, 2015, 7:13 p.m.

41 earlier thoughts

0

k-CFA

This algorithm might be the one to look at when implementing the type-checker:

http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/

created Oct. 16, 2014, 9:20 p.m.

10 later thoughts

Keyboard Help

Keyboard navigation

  • ? This help dialog
  • c Compose a new Thought
  • g Compose a new General Thought
  • j or ← View previous card in stream
  • k or → View next card in stream
  • p View card details in presentation mode
  • s Go to stream detail from card detail
  • ctrl + enter Publish card currently being created
  • alt + enter Save card in draft status that is currently being created.
  • esc Close an open modal