Elixir Developer at Bunsan
- ⚙️ I like using Lean, Rust, Haskell, Elixir.
- 💬
pingme about type theory, functional programming, formal methods, programming languages. - 🤝 Find me at
jpy051 [at] uregina.ca, @[email protected].
jpyamamoto/jpyamamoto
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|