1 Repositories
Android nethra Libraries
Nethra - Proof of concept for a minimal core language based on dependant function type and dependant pair
Nethra Terms n in Ident i in Int c in Char e ::= Type_i -- T
7 Dec 21, 2022
7 Dec 21, 2022
1 Repositories
Nethra Terms n in Ident i in Int c in Char e ::= Type_i -- T