issues
search
Hexirp
/
blog
Hexirp's Blog
https://hexirp.github.io/blog/
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
"self type and coinductive type" での依存型に対応した余帰納法の誤りについて
#36
Hexirp
opened
2 years ago
81
fix typo
#35
arowM
closed
3 years ago
1
コンパイル結果に空行が入るのを直す
#34
Hexirp
closed
5 years ago
0
コンパイル結果に空行が入るのを直す
#33
Hexirp
closed
5 years ago
0
コンパイル結果に空行が入るのを直す
#32
Hexirp
closed
5 years ago
0
トップページの記事のリストを新しい記事が一番上になるようにひっくり返す
#31
Hexirp
closed
5 years ago
0
脚注が使えない
#30
Hexirp
closed
2 years ago
1
取り消し線が使えない
#29
Hexirp
closed
2 years ago
2
シンタックスハイライトが効かない
#28
Hexirp
closed
2 years ago
1
新記事「Traversable のための圏論」を追加
#27
Hexirp
closed
5 years ago
1
自己紹介を変更
#26
Hexirp
closed
5 years ago
1
自己紹介を変更
#25
Hexirp
closed
5 years ago
0
フォーマットの修正
#24
Hexirp
closed
5 years ago
0
アイコンを大きいものにする
#23
Hexirp
closed
5 years ago
0
フォントを変えた話についての新記事
#22
Hexirp
closed
5 years ago
0
リンクのプレビューでアイコン (ファビコン) がきちんと表示されるように
#21
Hexirp
closed
5 years ago
0
ページが真っ白なのを修正する
#20
Hexirp
closed
5 years ago
0
OGPに対応する
#19
Hexirp
closed
5 years ago
0
細かい変更.
#18
Hexirp
closed
5 years ago
0
いろいろ細かいところを修正
#17
Hexirp
closed
5 years ago
0
いろいろ細かいところを修正
#16
Hexirp
closed
5 years ago
0
新しい記事「チャンパーノウン定数を作ってみた」
#15
Hexirp
closed
5 years ago
0
二つのデッドリンクを解消
#14
Hexirp
closed
5 years ago
0
スタイルをGitHubの物ではなくオリジナルに
#13
Hexirp
closed
5 years ago
2
スタイルをGitHubのものではなくオリジナルに
#12
Hexirp
closed
5 years ago
1
スタイルをGitHubの物ではなくオリジナルに
#11
Hexirp
closed
5 years ago
0
清書及びスタイルを美しく、ライセンスについての注記を
#10
Hexirp
closed
5 years ago
0
清書及びスタイルを美しくする
#9
Hexirp
closed
5 years ago
0
ライセンスについての注意書き
#8
Hexirp
closed
5 years ago
0
デプロイが動かないのを修正6
#7
Hexirp
closed
5 years ago
0
デプロイが動かないのを修正5
#6
Hexirp
closed
5 years ago
0
デプロイが動かないのを修正4
#5
Hexirp
closed
5 years ago
0
デプロイが動かないのを修正3
#4
Hexirp
closed
5 years ago
0
デプロイが動かないのを修正2
#3
Hexirp
closed
5 years ago
0
デプロイがうまく動かないのを修正
#2
Hexirp
closed
5 years ago
0
最初のテスト
#1
Hexirp
closed
5 years ago
0