Hazel parity and elm
Type holes
Type holes
xameer
- 6 Followers
- 29 Following
- 41.4K Posts
sdf.org/~sameers
PROLOG is an implementation of a fragment of sequent
calculus, and the “tableaux” used in automatic theorem-proving are just a special
case of this calculus.
The joy of not being a computer scientist
🐦🔗: https://twitter.com/Lavoisierbug/status/1559982506773921792
Apartments with bad sunlight ( windows) and good access to good are kafkan
They metamorphize your self image to a bug
Speaking of which , my new place has this balcony
I might even post that interiors too
I am happy with this part of this one
They metamorphize your self image to a bug
Speaking of which , my new place has this balcony
I might even post that interiors too
I am happy with this part of this one