Log in
Sign up
See new Tweets

Conversation

swann
@evertedsphere
·
May 23, 2020
reminder to me to check this tomorrow morning: someone apparently *did* get dependently-typed call-by-push-value working
github.com
GitHub - vekatze/neut: A dependently-typed programming language with compile-time malloc/free...
A dependently-typed programming language with compile-time malloc/free determination - GitHub - vekatze/neut: A dependently-typed programming language with compile-time malloc/free determination
4
8
36
swann
@evertedsphere
·
May 23, 2020
cc
@ollfredo
@brendanzab
3
3
Brendan Zabarauskas
@brendanzab
Replying to
@evertedsphere
and
@ollfredo
thanks for the link!
10:36 PM · May 23, 2020·Twitter Web App