I am freelance software engineer, get excited about functional programming languages and currently work on projects in the blockchain space.
- Somewhere in the Alps, Austria
- ncoding.at
- @ch1bo_
Stars
2
stars
written in Agda
Clear filter
An introduction to programming language theory in Agda
Formal specifications of the cardano ledger