Anders Christiansen Sørby
Working on Lean/Yatima/Radiya dependently typed purely functional language integration. Decentralization, free software, sustainable tech and social good are my ambitions.
Education
NTNU
Work
Yatima Inc
loading...
Working on Lean/Yatima/Radiya dependently typed purely functional language integration. Decentralization, free software, sustainable tech and social good are my ambitions.
Education
NTNU
Work
Yatima Inc
Want to connect with Anders Christiansen Sørby?
Create an account to connect with Anders Christiansen Sørby. You can also sign in below to proceed if you already have an account.