| | Writing a lambda calculus evaluator in Haskell (bor0.wordpress.com) |
| 2 points by maze-le on March 21, 2019 | past |
|
| | Writing a lambda calculus type-checker in Haskell (bor0.wordpress.com) |
| 2 points by bor0 on March 21, 2019 | past |
|
| | Writing a lambda calculus evaluator in Haskell (bor0.wordpress.com) |
| 1 point by bor0 on March 19, 2019 | past |
|
| | Writing a simple evaluator and type-checker in Haskell (bor0.wordpress.com) |
| 126 points by bor0 on March 15, 2019 | past | 9 comments |
|
| | Self-publishing my first book (bor0.wordpress.com) |
| 2 points by bor0 on Feb 27, 2019 | past |
|
| | CoC Base Terms – Type and Prop (bor0.wordpress.com) |
| 1 point by bor0 on Feb 21, 2019 | past |
|
| | Dependently Typed Lambda Calculus in Haskell (bor0.wordpress.com) |
| 2 points by bor0 on Dec 5, 2018 | past |
|
| | Proving Monoids with Idris (bor0.wordpress.com) |
| 3 points by bor0 on Nov 6, 2018 | past |
|
| | Partial orders in Idris (bor0.wordpress.com) |
| 2 points by bor0 on Oct 27, 2018 | past |
|
| | Mathematical structure of `git-bisect` (bor0.wordpress.com) |
| 1 point by bor0 on Oct 22, 2018 | past |
|
| | Lambda calculus implementation in Scheme (bor0.wordpress.com) |
| 2 points by bor0 on Sept 17, 2018 | past |
|
| | Closed-expression of a sum with proof in Idris (bor0.wordpress.com) |
| 2 points by bor0 on Sept 14, 2018 | past |
|
| | Proving length of mapped and filtered lists in Idris (bor0.wordpress.com) |
| 1 point by bor0 on Aug 22, 2018 | past |
|
| | Simple theorem prover in Racket (bor0.wordpress.com) |
| 2 points by bor0 on Aug 7, 2018 | past |
|
| | Effects of Side effects (bor0.wordpress.com) |
| 3 points by bor0 on July 23, 2018 | past |
|
| | Creating our own ‘struct’ macro in Racket (bor0.wordpress.com) |
| 3 points by bor0 on July 11, 2018 | past |
|
| | Refactoring using mathematical properties of min (bor0.wordpress.com) |
| 1 point by bor0 on June 15, 2018 | past | 1 comment |
|
| | Dafny – programming language for formal specifications (bor0.wordpress.com) |
| 4 points by bor0 on May 13, 2018 | past |
|
| | Why Dependent Types matter (bor0.wordpress.com) |
| 1 point by bor0 on April 18, 2018 | past |
|
| | Proofs with Idris (bor0.wordpress.com) |
| 4 points by bor0 on March 1, 2018 | past |
|
| | Dependent types in typed Racket (bor0.wordpress.com) |
| 1 point by bor0 on Feb 22, 2018 | past |
|
| | Idris, dependent types and IO (bor0.wordpress.com) |
| 2 points by bor0 on Feb 20, 2018 | past |
|
| | Type systems and proofs (bor0.wordpress.com) |
| 1 point by bor0 on Feb 18, 2018 | past |
|
| | Top 3 applications I mostly use (bor0.wordpress.com) |
| 2 points by bor0 on Feb 1, 2018 | past |
|
| | Associativity of Elvis operator (bor0.wordpress.com) |
| 2 points by bor0 on Jan 31, 2018 | past |
|
| | Metamath (bor0.wordpress.com) |
| 4 points by bor0 on Dec 17, 2017 | past |
|
| | Calculus of Constructions (bor0.wordpress.com) |
| 1 point by bor0 on Dec 14, 2017 | past |
|
| | Coq to Haskell (bor0.wordpress.com) |
| 1 point by bor0 on Dec 12, 2017 | past |
|
| | MU puzzle (bor0.wordpress.com) |
| 1 point by bor0 on Dec 7, 2017 | past |
|
| | Intuitionistic logic (bor0.wordpress.com) |
| 1 point by bor0 on Dec 4, 2017 | past |
|
|
| More |
