CziSKY

kirraObj's repositories

Kindergarten Pattern Matching implementation in Kotlin for self-learning.

Language:Java8 10

1！5！

Language:Haskell5 10

Language:Kotlin4 10

A simple untyped Lambda Calculus interpreter written in purely Kotlin for self-learning.

Language:Kotlin4 10

watch his stupid solutions.

Language:Kotlin2 10

watch his dumb solutions.

Language:Haskell1 10

Toy Refinement Type Implement in Kotlin.

Language:Kotlin1 10

Apache-2.0000

010

The Dao of Functional Programming

Language:TeX000

Language:JavaApache-2.0000

何语言，次世代赛博编程语言。

Language:PythonNOASSERTION000

Algorithm W implement in Kotlin.

Language:Kotlin000