Posts

• Aug 29, 2021

  The Parsers Of Idris2

• Apr 30, 2021

  Idrall Talk At Idris Developers Meetup

• Apr 15, 2021

  I Hate Modern Ci

• Dec 3, 2020

  What Is A Package Set

• May 13, 2020

  Shower Thoughts: Runtime Configuration Contracts

• Mar 2, 2020

  Lambda Calculus Arithmetic Expansions And Substitutions

• Mar 1, 2020

  Lambda Calculus Boolean Expansions And Substitutions

• Mar 1, 2020

  January February Review

• Feb 21, 2020

  Debugging Idris Code

• Feb 17, 2020

  Kubeadm Containerd Centos Errors

• Jan 17, 2020

  Aha Moment For Parser Combinators

• Jan 14, 2020

  Make These Posts From My Phone

• Jan 14, 2020

  Jekyll Github Pages Themes

subscribe via RSS