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