3 ms·
What did you build? The only real use cases I've heard of were in language prototypes or proof assistants (i.e. HOL, Isabelle).
by eatonphil 6y ago
What did you build? The only real use cases I've heard of were in language prototypes or proof assistants (i.e. HOL, Isabelle).
- Munksgaard 6y agoA portfolio management website (frontend and backend) and a portfolio performance calculation engine. You're welcome to contact me on my personal email, if you want to hear more.