次の項目のタイムライン: 範囲制限付きの数値型を作成するにはどうすればどうすればいいですか?
現在のライセンス: CC BY-SA 3.0
2 件のイベント
日時 書式を切り替える | 内容 | ユーザー | ライセンス | コメント | |
---|---|---|---|---|---|
2016年11月24日 13:26 | コメント | 追加済み | letrec |
これだとmakeCentury 1 + makeCentury 100 -> Century 101 の様にチェックを迂回できてしまいますね。
|
|
2016年11月19日 1:47 | 履歴 | 回答済み | Hideki | CC BY-SA 3.0 |