Beast code in Giters

Aoi Nakamura's repositories

An implementation of Linear Lambda Calculus.

Language:OCaml1300

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

Language:OCamlMIT12 1 3

ATS言語の練習用リポジトリ

Language:ATS000

A statically typed linear functional language with graded modal types for fine-grained program reasoning

Language:HaskellBSD-3-Clause000

Language:HTML000

An implementation of Krivine Machine that introduced by the "A Core Quantitative Coeffect Calculus".

Language:OCaml010

000

型無し単純ラムダ計算のパーサ

Language:CBSD-3-Clause000

ﾑﾗｶﾐのホームページです

Language:CSS000