- Portland, OR
- https://danilafe.com
- Joined on
2017-09-08
Block a user
45b21d50f9
Add a way to only get one value out
f1792e6627
Change runSFKT to report all results of execution
755d514342
Extract UnifyT into its own package and get an example going
7fc58ce0af
Add initial version of unification monad transformer
394fab8914
Initial commit + basic Expr impl
984256a0fa
Add flake lockfile
2d5098909c
Add a nix expression for building the resume.