wejournal

Pinned Repositories

lamb
A statically typed and lazy evaluated implementation of Lambda Calculus.
Language:Standard ML210
wejournal.github.io
The official site of the Whiteearth Journal.
Language:HTML00

wejournal's Repositories

wejournal/lamb
A statically typed and lazy evaluated implementation of Lambda Calculus.
Language:Standard ML21 3 0
wejournal/wejournal.github.io
The official site of the Whiteearth Journal.
Language:HTML