monica_b1998@lemmy.world to Programming@sopuli.xyzEnglish · 5 months ago

The Topos of Programming | Yon

0

cross-posted to:
hackernews@lemmy.bestiver.se

2

The Topos of Programming | Yon

monica_b1998@lemmy.world to Programming@sopuli.xyzEnglish · 5 months ago

0

cross-posted to:
hackernews@lemmy.bestiver.se

A topos-oriented programming language. Native via MLIR and LLVM, with two heaps: one addressed by content, one by the points of the Leech lattice.

You must log in or register to comment.

Chat