Akifumi Imanishi asi1024

## topprover.sh
#!/bin/sh

COOKIE="cookie.txt"
CURL="curl -b $COOKIE"
TOPPROVER='https://top-prover.top'

cat <<EOF > Makefile
login:
	curl -X POST -F 'user=$TOPPROVER_USER' -F 'password=$TOPPROVER_PASSWORD' $TOPPROVER/login -c $COOKIE

## d_master.md

      
        
          
            
              
              1 file
            
          
          
            
              
              7 forks
            
          
            
              
                
                0 comments
              
            
          
            
              
              92 stars
            
          
        
        
          
              
          
          
            
                repeatedly
                / d_master.md
            
            
              Last active
              December 17, 2024 10:01
            
              
                D言語基礎文法最速マスター
              
          
        
      
        
  
      
    他の言語をある程度知っている人はこれを読めばD言語の基礎をマスターでき，D言語の氷山の一角くらいは知ることができると思います．対象バージョンはdmd 2.059です．
1. 基礎

ソースファイル

ASCIIかUTFしか受け付けません．それ以外の文字コードで書くとコンパイルエラーになります．
main

D言語のmainはCとは違い以下のようなシグネチャです．
	#!/bin/sh

	COOKIE="cookie.txt"
	CURL="curl -b $COOKIE"
	TOPPROVER='https://top-prover.top'

	cat <<EOF > Makefile
	login:
	curl -X POST -F 'user=$TOPPROVER_USER' -F 'password=$TOPPROVER_PASSWORD' $TOPPROVER/login -c $COOKIE