GitHub - lamdu/lamdu: lamdu - towards the next generation IDE
At the top we have an interactive shell, where we can type calculations. The ⋙ is our prompt to this shell. Think of it like a calculator: you enter an expression, hit a button, and it tells you the answer. The next time you use the calculator, you clear whatever's in there and enter a new expression. Same here. To type the calculation above: Type "1+s" at the prompt (⋙). Notice we have chosen "1"
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - lamdu/hypertypes: Hypertypes - generic programming for heterogeneous recursive types
