Search results

declareってなに？

Status: Open.

#24 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Nov 18, 2020

Exercise 9.7. を解く

Status: Open.

#23 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Oct 5, 2020

Sec Typeでチェックすべきことの性質を考え直す

Status: Open.

#21 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Sep 23, 2020

<code>code_pred</code>ってなにやってるんだ？

Status: Open.

#20 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Sep 23, 2020

Chapter8を読み直す

Status: Open.

#19 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Sep 5, 2020

<code>note X</code>について

Status: Open.

#18 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Sep 4, 2020

<code>clarsimp</code>というmethodについて

Status: Open.

#17 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Sep 4, 2020

bindingするattributesについて

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#16 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Sep 2, 2020

<code>dest</code>って何？

Status: Open.

#15 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Sep 2, 2020

<code>with</code>ってなんだっけ

Status: Open.

#14 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Aug 31, 2020

Isabelleの探索の優先順位を確認する

Status: Open.

#13 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Aug 29, 2020

<code>del</code>ってなんだ？

Status: Open.

#11 In 2222-42/ConcreteSemantics;

· 2222-42 opened on Aug 28, 2020