Pinned Repositories
ATS-Practice
ATS言語の練習用リポジトリ
granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
impl
KrivineMachine
An implementation of Krivine Machine that introduced by the "A Core Quantitative Coeffect Calculus".
linear-lambda-calculus
An implementation of Linear Lambda Calculus.
na0214.github.io
simple-lambda
型無し単純ラムダ計算のパーサ
snail
[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
na0214's Repositories
na0214/linear-lambda-calculus
An implementation of Linear Lambda Calculus.
na0214/snail
[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
na0214/ATS-Practice
ATS言語の練習用リポジトリ
na0214/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
na0214/impl
na0214/KrivineMachine
An implementation of Krivine Machine that introduced by the "A Core Quantitative Coeffect Calculus".
na0214/na0214.github.io
na0214/simple-lambda
型無し単純ラムダ計算のパーサ
na0214/villpage
ﾑﾗｶﾐのホームページです