Giters
tarao
/
lambda-scala3
Type-level lambda calculus in Scala 3
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
12
Watchers:
3
Issues:
1
Forks:
0
tarao/lambda-scala3 Stargazers
dantb
ebigram
ebigram
Alex Merritt
EmergentOrder
110416
i10416
Kacper Korban
KacperFKorban
Tomohiro Nishimura
n0-t0
Masanori Ogino
omasanori
sudotty
sudotty
Susisu
susisu
Simon R
szymon-rd
Rikito Taniguchi
tanishiking
kenji yoshida
xuwei-k